MEMHI_BASE
mem_layout[1].mem_first_page = atop(MEMHI_BASE);
mem_layout[1].mem_last_page = atop(MEMHI_BASE) +