Re: [PATCH rfcv4 11/13] qemu: Avoid duplicate FakeReboot for secure guest