[PATCH] KVM: SEV: Acquire vcpu mutex when updating VMSA