Reintroduce the vfp3/armv7 patch
Turn hardfp on by default for ARM