Use constant from vfp.h for enabling VFP