x86, realmode: fix 64-bit wakeup sequence