Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 41ce4d90d8c47b133bd70c5513dcbf39004b6833)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 074c9bdaa46f546f90e5f877f4ee0fc2294d246e)
@@ -183,5 +183,5 @@
 	if (ret == AS_PF_FAULT) {
 		fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
-		panic_memtrap(istate, access, badvaddr, "Page fault.");
+		panic_memtrap(istate, access, badvaddr, NULL);
 	}
 }
@@ -198,6 +198,7 @@
 
 	if (ret == AS_PF_FAULT) {
-		panic_memtrap(istate, PF_ACCESS_EXEC, istate->pc,
-		    "Page fault - prefetch_abort.");
+		fault_if_from_uspace(istate,
+		    "Page fault - prefetch_abort: %#x.", istate->pc);
+		panic_memtrap(istate, PF_ACCESS_EXEC, istate->pc, NULL);
 	}
 }