Constant seL4_UntypedRetypeMaxObjects

pub const seL4_UntypedRetypeMaxObjects: u32 = 256;