Constant EF_ARM_VFP_FLOAT 

pub const EF_ARM_VFP_FLOAT: u32 = 0x400;