Constant seL4_MinSchedContextBits

pub const seL4_MinSchedContextBits: u32 = 7;