[PATCH 5.10 082/545] irqchip/mips-gic: Only register IPI domain when SMP is enabled