Constant DEBUG_DATA_KernBase

pub const DEBUG_DATA_KernBase: u32 = 24u32;