# CONFIG_TCG_TPM is not set