Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision af56e9b85fca4f965e273d0cf0e72f55bb39d07b)
+++ kernel/generic/src/proc/scheduler.c	(revision 7da160ba192d0a573fdd80c110c2e2499ff54e49)
@@ -201,4 +201,5 @@
 		 * even though there is a runnable thread.
 		 */
+
 		 cpu_sleep();
 		 goto loop;