ARM: Tegra: Seaboard: Fix I2C bus numbering for ADT7461