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