Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 7a0359b903311f67678b4a0a3ebbcf0daf6eab38)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 144185b6c856a90ee5e4dd34c38f64e59cbe725e)
@@ -198,4 +198,6 @@
 
 	if (ret == AS_PF_FAULT) {
+		fault_if_from_uspace(istate,
+		    "Page fault - prefetch_abort: %#x.", istate->pc);
 		panic_memtrap(istate, PF_ACCESS_EXEC, istate->pc,
 		    "Page fault - prefetch_abort.");