reproduce:
        # https://github.com/intel/tdx/commit/95edbe65d16061170ac5c9fb9e71162fe91fc627
        git remote add intel-tdx https://github.com/intel/tdx.git
        git fetch --no-tags intel-tdx guest-rtmr
        git checkout 95edbe65d16061170ac5c9fb9e71162fe91fc627
        # choose either of the following two methods to reproduce the issue
        # 1. reproduce by kismet
           # install kmax per https://github.com/paulgazz/kmax/blob/master/README.md
           kismet --linux-ksrc=linux --selectees CONFIG_CRYPTO_HASH_INFO --selectors CONFIG_TSM_REPORTS -a=x86_64
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=x86_64 olddefconfig