Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision e257ae3afe1ceec7d39e238296d4efc444331167)
+++ kernel/generic/src/proc/scheduler.c	(revision 62550dcebaf6572f33fa63e95f98ecc3f61f4cec)
@@ -202,5 +202,7 @@
 		 */
 
+		 spinlock_lock(&CPU->lock);
 		 CPU->idle = true;
+		 spinlock_unlock(&CPU->lock);
 		 cpu_sleep();
 		 goto loop;