Re: Patch "genirq: GENERIC_IRQ_IPI depends on SMP" has been added to the 5.4-stable tree