Working IPI, SMP unstable