# CONFIG_TRUSTED_KEYS_TPM is not set
