Re: [PATCH rfcv4 07/13] qemu: force special parameters enabled for TDX guest