Constant KERNEL_STACK_SIZE 

pub const KERNEL_STACK_SIZE: u64 = 0x4000;