[PATCH 6.12 424/826] x86/tdx: Rename tdx_parse_tdinfo() to tdx_setup()