Index: kernel/arch/arm32/src/exception.c
===================================================================
--- kernel/arch/arm32/src/exception.c	(revision 4f843dedcb86f10b819e33487510da951391696b)
+++ kernel/arch/arm32/src/exception.c	(revision 48a209a6b8eb45ea1c37e00b7bc5365724c9c811)
@@ -170,4 +170,11 @@
 		fault_if_from_uspace(istate, "Undefined instruction.");
 		panic_badtrap(istate, exc_no, "Undefined instruction.");
+	} else {
+		/*
+		 * Retry the failing instruction,
+		 * ARM Architecture Reference Manual says on p.B1-1169
+		 * that offset for undef instruction exception is 4
+		 */
+		istate->pc -= 4;
 	}
 }