KVM: nVMX: clean up nested_release_vmcs12 and code around it Make nested_release_vmcs12 idempotent. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>