[PATCH v3 2/2] KVM: x86/xen: Stop Xen timer before changing IRQ