Re: [PATCH rfcv3 07/11] qemu: add hard reboot in QEMU driver