vfp: use hard float