Constant DEBUG_CLASS_KERNEL 

pub const DEBUG_CLASS_KERNEL: u32 = 1u32;