pub const DEBUG_KERNEL_SMALL_DUMP: u32 = 1024u32;