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