CONFIG_GENERIC_IRQ_IPI_MUX=y
