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