Index: kernel/arch/arm32/src/mm/page_fault.c
===================================================================
--- kernel/arch/arm32/src/mm/page_fault.c	(revision d447598e4fbddb2cd07d077dfd32a3d07224f96a)
+++ kernel/arch/arm32/src/mm/page_fault.c	(revision 2be2506abdabb8469521db65a95b985ee11638e7)
@@ -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;