[PATCH 5.19 0158/1157] irqchip/mips-gic: Only register IPI domain when SMP is enabled