Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 4bc141c9f96719845a1c5bed96e1e4cb39ba25b4)
+++ generic/src/main/kinit.c	(revision 85d24f6104e1d4052c519b698e793a5b17168ab8)
@@ -156,6 +156,4 @@
 	test();
 	printf("\nTest finished, please reboot\n");
-	while(1)
-		;
 #else  /* CONFIG_TEST */
 
