Re: [PATCH 2/2] qemu: add support for tsc.on_reboot element