Index: kernel/arch/arm32/src/exc_handler.S
===================================================================
--- kernel/arch/arm32/src/exc_handler.S	(revision bd48f4ce0bcae08987a78c5940f9588ac0feddb2)
+++ kernel/arch/arm32/src/exc_handler.S	(revision bd11d3e61f28b76b32ae485033f9c0a9e0c0720c)
@@ -96,5 +96,6 @@
 	ldmfd r3!, {r4-r7}
 	stmfd r13!, {r4-r7}
-	stmfd r13!, {r13, lr}^
+	stmfd r13, {r13, lr}^
+	sub r13, r13, #8
 	stmfd r13!, {r2}
 
@@ -137,5 +138,6 @@
 
 	# return to user mode
-	ldmfd r13!, {r13, lr}^
+	ldmfd r13, {r13, lr}^
+	add r13, r13, #8
 	b 2f