[ifxmips] fixes uboot compile error