QEMU timer profiling