# CONFIG_TCG_TIS is not set
