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