This fixes CI issue, and I think the old implementation with SMP shared 1 IRQ stack for multiple CPUs.