irqchip/mips-gic: Fix IRQs in gic_dev_domain