CONFIG_GENERIC_IRQ_IPI=y
