pub const KERNEL_BASE: usize = 0xFFFF_FFFF_8000_0000;