KVM: VMX: Load/save guest CR2 via C code in __vmx_vcpu_run()