Symbol: VERDE_I2C_BASE