DEBUG_DATA_KernBase

Constant DEBUG_DATA_KernBase 

pub const DEBUG_DATA_KernBase: u32 = 24u32;