Constant EF_ARM_NEW_ABI 

pub const EF_ARM_NEW_ABI: u32 = 0x80;