Fix ARM_VFP_STATE bug