irqchip: mips-gic: Use HW IDs for VPE_OTHER_ADDR