ignore the fpu if we're doing soft-float