ARM: irq migration: update GIC migration code