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