SMP_IDLE_THREAD fix