Constant RESERVED_KERNEL_INIT 

pub const RESERVED_KERNEL_INIT: usize = 3;