This fixes a bug in which the Ski simulator ended up getting the wrong
time, since phys_get_time() ended up storing the correct time in the
wrong place if a region-5 virtual address was passed (as would happen
for stack variables of the init-task).  On real machines, this bug
likely would have caused a crash on machines which don't support
switching EFI into virtual mode.