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