Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/ppc32/src/ppc32.c	(revision c2228160477fb53b00e1ddbd8dfdc6958c9cb108)
@@ -297,7 +297,5 @@
 	    (uintptr_t) kernel_uarg->uspace_entry);
 
-	/* Unreachable */
-	while (true)
-		;
+	unreachable();
 }