karo: tx6ul: fix wrong board name in U-Boot messages