# CONFIG_I2C_PIIX4 is not set