- /* Initialize idle_thread.
-
- Until we run for the first time, idle_thread remains a null
- pointer. That's okay because we know that, at that point,
- the ready list has at least one element (the idle thread),
- so next_thread_to_run() will not attempt to return the idle
- thread. */