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