# CONFIG_TCG_TPM2_HMAC is not set
