A20 HDMI Change I2C port

[donwynne]

Hello everyone.

I'm trying to change the I2C port used in HDMI, but I can't find a proper way to do it. I know there are some patches for Raspberry PI using Raspbian, so it is possible. Where is the I2C port used in HDMI described? Checked device tree, but no luck.
Any help or hint will be highly appreciated.
Thanks in advance.

Regards

[LubOlimex]

Which A20 board exactly do you have?