I am designing a board based on the STM32MP157F using the OSD32MP157F SOM as a base. I want to have a usb-c connector acting as a host and/or as hs_otg. Reviewing the DK boards schematics I see that the STUSB1600 is being used. I also see on the dts that STUSB1600 is used in conjuction with I2C4. I was wondering whether I can use an alternative like the TPS25820 or other USB-C source controller and if there are any recommendations on this manner, preferably with a compatible or easily portable kernel module.