[PATCH 6.12 101/277] xen/events: Update virq_to_irq on migration