uboot-ifxmips: fix portability bug