ARM defaults to HARDFP