Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision 97c76825acca82d15cb8daa0e50df4f66ffd6c0b)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 054fd4425cd47c2df5a4c242f3433caf5238f363)
@@ -142,5 +142,5 @@
 		panic("page_fault - instruction does not access memory "
 		    "(instr_code: %#0" PRIx32 ", badvaddr:%p).",
-		    instr_union.pc, (void *) badvaddr);
+		    *(uint32_t*)instr_union.instr, (void *) badvaddr);
 		return PF_ACCESS_EXEC;
 	}
@@ -162,5 +162,5 @@
 	panic("page_fault - instruction doesn't access memory "
 	    "(instr_code: %#0" PRIx32 ", badvaddr:%p).",
-	    instr_union.pc, (void *) badvaddr);
+	    *(uint32_t*)instr_union.instr, (void *) badvaddr);
 
 	return PF_ACCESS_EXEC;