DEBUG_KERNEL_DUMP

Constant DEBUG_KERNEL_DUMP 

pub const DEBUG_KERNEL_DUMP: u32 = 1025u32;