# CONFIG_TCG_TIS_ST33ZP24_SPI is not set