HDMI DDC configuration on TK1

Choice of a I2C used for the HDMI DDC on an Apalis TK1 can be done by modifying hdmi_ddc entry in:

For TK1 V1.2

 arch/arm/boot/dts/tegra124-platforms/tegra124-apalis-v1.2-displays.dtsi

For TK1 V1.1

 arch/arm/boot/dts/tegra124-platforms/tegra124-apalis-displays.dtsi

Here's the default entry for TK1 v1.2 module:

    hdmi_ddc: i2c@7000c700 {
        clock-frequency = <10000>;
    };

7000c700 is the address of an i2c-bus that's going to be used for DDC. If you want to use different i2c just replace that address with an address for a different i2c. You can find appropriate addresses in this table:

More about I2C I2C (Linux)