Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision 074c9bdaa46f546f90e5f877f4ee0fc2294d246e)
+++ kernel/arch/arm32/src/userspace.c	(revision 5c16ce7d84b3d7c69d23984697eca2bb7af2473c)
@@ -97,5 +97,6 @@
 		"mov sp, %[ustate]\n"
 		"msr spsr_c, %[user_mode]\n"
-		"ldmfd sp!, {r0-r12, sp, lr}^\n"
+		"ldmfd sp, {r0-r12, sp, lr}^\n"
+		"add sp, sp, #(15*4)\n"
 		"ldmfd sp!, {pc}^\n"
 		:: [ustate] "r" (&ustate), [user_mode] "r" (user_mode)