With board files, all I2C busses run at 400KHz. Fix the device-tree
to be consistent with this. It's possible this is incorrect, but at
least it keeps the board files and device-tree consistent.
Also, disable any I2C controllers that the board files don't register,
also for consistency.
Signed-off-by: Stephen Warren <swarren@nvidia.com>
Signed-off-by: Olof Johansson <olof@lixom.net>
                reg = < 0x00000000 0x40000000 >;
        };
 
+       i2c@7000c000 {
+               clock-frequency = <400000>;
+       };
+
+       i2c@7000c400 {
+               clock-frequency = <400000>;
+       };
+
+       i2c@7000c500 {
+               clock-frequency = <400000>;
+       };
+
+       i2c@7000d000 {
+               clock-frequency = <400000>;
+       };
+
        serial@70006300 {
                clock-frequency = < 216000000 >;
        };
 
                clock-frequency = <400000>;
        };
 
+       i2c@7000d000 {
+               status = "disable";
+       };
+
        serial@70006000 {
                clock-frequency = < 216000000 >;
        };
 
                reg = < 0x00000000 0x40000000 >;
        };
 
+       i2c@7000c000 {
+               clock-frequency = <400000>;
+       };
+
+       i2c@7000c400 {
+               clock-frequency = <400000>;
+       };
+
+       i2c@7000c500 {
+               clock-frequency = <400000>;
+       };
+
+       i2c@7000d000 {
+               clock-frequency = <400000>;
+       };
+
        serial@70006300 {
                clock-frequency = < 216000000 >;
        };