Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision d11a1811118ec8e5eb8ca4beae291275a4ce36b6)
+++ kernel/arch/arm32/src/userspace.c	(revision a3fcfbab8ada7658810ed4966e92d5dc1f3cfec7)
@@ -92,5 +92,6 @@
 
 	/* set user stack */
-	ustate.sp = ((uint32_t)kernel_uarg->uspace_stack) + STACK_SIZE;
+	ustate.sp = ((uint32_t) kernel_uarg->uspace_stack) +
+	    kernel_uarg->uspace_stack_size;
 
 	/* set where uspace execution starts */