Constant seL4_BootInfoFrameBits 

pub const seL4_BootInfoFrameBits: u32 = 12;