On Sun, Jul 24, 2016 at 02:09:22PM +0000, Maxime Villard wrote: > Fix this by properly saving and restoring the EFER MSR. It's a little > tricky since the wakeup code uses %edx, but rdmsr overwrites it. We just > save it in %esi. Use push/pop around it, please? Joerg