Index: kernel/arch/arm32/src/userspace.c
===================================================================
--- kernel/arch/arm32/src/userspace.c	(revision 5c16ce7d84b3d7c69d23984697eca2bb7af2473c)
+++ kernel/arch/arm32/src/userspace.c	(revision f0e1ac989d9c3e0804ca4f3bba31bfff67ba485c)
@@ -98,4 +98,5 @@
 		"msr spsr_c, %[user_mode]\n"
 		"ldmfd sp, {r0-r12, sp, lr}^\n"
+		"nop\n"		/* Cannot access sp immediately after ldm(2) */
 		"add sp, sp, #(15*4)\n"
 		"ldmfd sp!, {pc}^\n"