Constant KERNEL_OFFSET

pub const KERNEL_OFFSET: u64 = 0xffff_8020_0000_0000;