[PATCH AUTOSEL 5.15 13/45] irqchip/mips-gic: Only register IPI domain when SMP is enabled