soft-float shouldn't be used on targets with FPU