pub const DEBUG_DATA_KernBase: u32 = 24u32;