[PATCH v2 12/15] KVM: x86: Improve synchronization in kvm_synchronize_tsc()