bcm53xx: this ARM SoC does not have a FPU, use soft float.