Constant BOOT_INFO_FRAME

pub const BOOT_INFO_FRAME: Slot<Granule>;

Corresponds to seL4_CapBootInfoFrame.