pub const DEBUG_KERNEL_ACTIVE_DUMP: u32 = 1030u32;