diff -r a4edbebbe3a1 -r cc0769e7db07 src/arch/arm/isa.cc
--- a/src/arch/arm/isa.cc	Fri Aug 13 11:46:52 2010 -0500
+++ b/src/arch/arm/isa.cc	Fri Aug 13 11:47:09 2010 -0500
@@ -211,7 +211,9 @@
                 "always reads as 0.\n");
         break;
       case MISCREG_ID_PFR0:
-        return 0x1031; // ThumbEE | !Jazelle | Thumb | ARM
+        warn("Returning thumbEE disabled for now since we don't support CP14"
+             "config registers and jumping to ThumbEE vectors\n");
+        return 0x0031; // !ThumbEE | !Jazelle | Thumb | ARM
       case MISCREG_ID_MMFR0:
         return 0x03; //VMSAz7
       case MISCREG_CTR: