214c214,216
< 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
< 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