Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 242534980b6844190766f442347d98be346cd398)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -148,6 +148,5 @@
 	
 	/* Unreachable */
-	for (;;)
-		;
+	while (true);
 }