# CONFIG_TCG_TIS_I2C_INFINEON is not set