Constant KERNEL_STACK_SIZE

pub const KERNEL_STACK_SIZE: u32 = 12288u32;