KVM: x86: Avoid issuing wbinvd twice