[PATCH 16/24] KVM: VMX: introduce alloc_loaded_vmcs