x64: Maintain 64-bit on VM exit
x64: Maintain 64-bit on VM exit

The exit control in the VMCS controls what the host address-space size is
after a VM exit. On x86-64 this must be enforced to be 64-bit

cmr/seL4,cmr/seL4,cmr/seL4