x86: xen: 64-bit kernel RPL should be 0