[PATCH 5.18 0144/1095] irqchip/mips-gic: Only register IPI domain when SMP is enabled