pub const KERNEL_START_OFFSET: u64 = 0x20_0000;