Index: kernel/generic/src/proc/thread.c
===================================================================
--- kernel/generic/src/proc/thread.c	(revision e86f56875b4b9e55d0ae025a2964f45d45338216)
+++ kernel/generic/src/proc/thread.c	(revision 30b56d9814196a29138d75a9555cb10e287d85dd)
@@ -539,7 +539,5 @@
 	scheduler();
 
-	/* Not reached */
-	while (true)
-		;
+	panic("should never be reached");
 }