Clean up smp_idle's stack jumping