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