pub const KERNEL_END: usize = _; // 18_446_744_071_696_285_696usize