irqchip/mips-gic: Add a IPI hierarchy domain