pub const KERNEL_OFFSET: u64 = 0x1_4000_0000;
Offset within the reservation where the kernel binary loads.