Constant seL4_CapBootInfoFrame

pub const seL4_CapBootInfoFrame: Type = 9;