An extension for qemu with more tracing information