const BIOS_RO_MEM_END: u64 = 0x000FFFFF;