const BIOS_RO_MEM_START: u64 = 0x000E0000;