Hi Bjorn, please include the following three patches in your next fix pull request for -rc2.
They just restrict the fixup of the 64bit window on AMD CPU to avoid problems with Xen and multi socket systems. If you prefer a pull request just say so and I will setup a branch on a public server. Thanks, Christian.
