Constant seL4_SuperSectionBits

pub const seL4_SuperSectionBits: u32 = 24;