Index: kernel/arch/arm32/src/eabi.S
===================================================================
--- kernel/arch/arm32/src/eabi.S	(revision d76de0e4f476635e3013bb6e2d85020a55438ca3)
+++ kernel/arch/arm32/src/eabi.S	(revision ab63b04e07ccf8791b1339cb5a61e373384f6c2d)
@@ -43,5 +43,5 @@
 	ldr lr, [sp, #4]
 	add sp, sp, #8
-	bx lr
+	mov pc, lr
 
 __aeabi_uidiv:
@@ -50,5 +50,5 @@
 	ldr lr, [sp, #4]
 	add sp, sp, #8
-	bx lr
+	mov pc, lr
 
 __aeabi_idivmod:
@@ -59,5 +59,5 @@
 	add sp, sp, #8
 	pop {r1, r2}
-	bx lr
+	mov pc, lr
 
 __aeabi_uidivmod:
@@ -68,5 +68,5 @@
 	add sp, sp, #8
 	pop {r1, r2}
-	bx lr
+	mov pc, lr
 
 __aeabi_ldivmod:
@@ -77,5 +77,5 @@
 	add sp, sp, #8
 	pop {r2, r3}
-	bx lr
+	mov pc, lr
 
 __aeabi_uldivmod:
@@ -86,3 +86,3 @@
 	add sp, sp, #8
 	pop {r2, r3}
-	bx lr
+	mov pc, lr