vfp: use vfpv3