vfp: use hardfloat