# CONFIG_TCG_TIS_CORE is not set
