x86, 64-bit: swapgs pvop with a user-stack can never be called