Constant DEBUG_KERNEL_SMALL_DUMP 

pub const DEBUG_KERNEL_SMALL_DUMP: u32 = 1024u32;