[PATCH v16 1/3] x86/tdx: Add a wrapper to get TDREPORT from the TDX Module