Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 07640dfd0f06086a843fa228d6305345338c4f0c)
+++ kernel/generic/src/proc/scheduler.c	(revision 83a957a3380b0543ed68df2553900081689ac546)
@@ -202,4 +202,5 @@
 		 */
 
+		 CPU->idle = true;
 		 cpu_sleep();
 		 goto loop;