# CONFIG_TCG_ST33_I2C is not set
