pub const KERNEL_64BIT_ENTRY_OFFSET: u64 = 0x200;