Constant EF_ARM_EABI_VER4 

pub const EF_ARM_EABI_VER4: u32 = 0x0400_0000;