Re: [PATCH V3 1/2] x86/tdx: Route safe halt execution via tdx_safe_halt()