pub const DEBUG_KERNEL_FULL_DUMP: u32 = 1026u32;