RE: [PATCH rfcv3 08/11] qemu: make hard reboot as the TDX default reboot mode