// Reserve away HVMLOADER reserved memory [0xFC000000,0xFD000000).\r
// This needs to match HVMLOADER RESERVED_MEMBASE/RESERVED_MEMSIZE.\r
//\r
// Reserve away HVMLOADER reserved memory [0xFC000000,0xFD000000).\r
// This needs to match HVMLOADER RESERVED_MEMBASE/RESERVED_MEMSIZE.\r
//\r