Constant seL4_MaxUntypedBits

pub const seL4_MaxUntypedBits: u32 = 47;