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