[PATCH 5.15 119/779] irqchip/mips-gic: Only register IPI domain when SMP is enabled