hw/intc/arm_gic: Check interrupt number in gic_deactivate_irq()