[PATCH v2 3/3] xen/events: Update virq_to_irq on migration