Always build ubldr as a soft-float binary as there is no support for VFP
this early on in the boot process.