x86: Don't leak 64-bit kernel register values to 32-bit processes