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