pub const KERNEL_MCA_EXCEPTION_STACK_SIZE: u32 = 8192u32;