Constant DEBUG_KERNEL_FULL_DUMP

pub const DEBUG_KERNEL_FULL_DUMP: u32 = 1026u32;