Added comments: Understanding the QEMU clocks and timers