pub const DEBUG_KERNEL_TRACE_LOG: u32 = 1028u32;