(without it, many MMIO events are missed, apparently because of QEMU's TLB cache) --HG-- branch : qemu