--- qemu-0.14.0.orig/target-arm/helper.c	2011-02-16 15:44:05.000000000 +0100
+++ qemu-0.14.0/target-arm/helper.c	2011-03-25 14:00:31.000000000 +0100
@@ -808,6 +808,8 @@ void do_interrupt(CPUARMState *env)
                 return;
             }
         }
+        /* indicate debug exception in IFSR */
+        env->cp15.c5_insn = 2;
         /* Fall through to prefetch abort.  */
     case EXCP_PREFETCH_ABORT:
         new_mode = ARM_CPU_MODE_ABT;