# CONFIG_TCG_TIS_SPI is not set