pub const EF_ARM_EABIMASK: u32 = 0xff00_0000;