Constant KERNEL_STACKS_SIZE 

pub const KERNEL_STACKS_SIZE: u64 = _ /* 17_592_186_044_416u64 */;