const DEFAULT_HHDM_OFFSET: u64 = 0x1_0000_0000;
Default HHDM offset for x86_64 (4 GiB). Used when DTB doesn’t specify one.