ODYESSY STM32MP157C I2C buses?

When messing with u-boot and with Linux I can see that there’s only one I2C bus available to probe. Where are the rest? Is this a device tree issue?

Okay, just to answer my own question: You have to change /boot/uEnv.txt to use the full device tree instead of the base device tree.

Yeah, you’re great. You found eggs.