Constant EF_ARM_EABI_VER3 

pub const EF_ARM_EABI_VER3: u32 = 0x0300_0000;