KVM: x86: avoid simultaneous queueing of both IRQ and SMI