[PATCH AUTOSEL 5.19 18/58] irqchip/mips-gic: Only register IPI domain when SMP is enabled