[PATCH v2] KVM: Fix a data race on last_boosted_vcpu in kvm_vcpu_on_spin()