Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision 5df69cbc248f70972f59fa08e8136df8f6d965b4)
+++ kernel/arch/arm32/src/ras.c	(revision b26396e4833398f7364ce7a3e5ea63f13e127775)
@@ -67,5 +67,6 @@
 void ras_check(unsigned int n, istate_t *istate)
 {
-	bool restart = false;
+	bool restart_needed = false;
+	uintptr_t restart_pc = 0;
 
 	if (istate_from_uspace(istate)) {
@@ -73,5 +74,6 @@
 			if ((ras_page[RAS_START] < istate->pc) &&
 			    (ras_page[RAS_END] > istate->pc)) {
-				restart = true;
+				restart_needed = true;
+				restart_pc = ras_page[RAS_START];
 			}
 			ras_page[RAS_START] = 0;
@@ -81,6 +83,6 @@
 
 	exc_dispatch(n, istate);
-	if (restart)
-		istate->pc = ras_page[RAS_START];
+	if (restart_needed)
+		istate->pc = restart_pc;
 }