fix spurious ifxmips u-boot build errors