Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision bab75df6bdac0b39185034277416374a06d4b37f)
+++ kernel/arch/arm32/src/userspace.c	(revision deacd722f7dca626637926215ebe69ffd2fd67f5)
@@ -114,7 +114,5 @@
 	);
 
-	/* unreachable */
-	while (true)
-		;
+	unreachable();
 }