ifxmips should build uboot by default