ARCv2: SMP: Push IPI_IRQ into IPI provider