Re: [PATCH 1/2] qemu: correctly detect working TDX support