KVM: lapic: sync highest ISR to hardware apic on EOI