OS-3233 KVM may free a VMCS still in use by a CPU