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