diff -r fbdaa08aaa42 -r 9fd3d5837e1e src/cpu/kvm/base.cc
--- a/src/cpu/kvm/base.cc	Tue May 05 09:25:59 2015 -0700
+++ b/src/cpu/kvm/base.cc	Mon May 11 10:40:22 2015 +0200
@@ -1016,7 +1016,6 @@
         const Cycles ipr_delay(write ?
                              TheISA::handleIprWrite(tc, &pkt) :
                              TheISA::handleIprRead(tc, &pkt));
-        threadContextDirty = true;
         return clockPeriod() * ipr_delay;
     } else {
         // Temporarily lock and migrate to the event queue of the