Constant KERNEL_OFFSET 

pub const KERNEL_OFFSET: u64 = 0xffff_8020_0000_0000;