Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision 48a209a6b8eb45ea1c37e00b7bc5365724c9c811)
+++ kernel/arch/arm32/src/ras.c	(revision 123be4f2eff2e4dc405825b94c8fcf712ee17994)
@@ -67,5 +67,5 @@
 void ras_check(unsigned int n, istate_t *istate)
 {
-	uintptr_t rewrite_pc = istate->pc;
+	bool restart = false;
 
 	if (istate_from_uspace(istate)) {
@@ -73,14 +73,14 @@
 			if ((ras_page[RAS_START] < istate->pc) &&
 			    (ras_page[RAS_END] > istate->pc)) {
-				rewrite_pc = ras_page[RAS_START];
+				restart = true;
 			}
 			ras_page[RAS_START] = 0;
 			ras_page[RAS_END] = 0xffffffff;
-		}	
+		}
 	}
 
 	exc_dispatch(n, istate);
-
-	istate->pc = rewrite_pc;
+	if (restart)
+		istate->pc = ras_page[RAS_START];
 }