USB-C problems after gateware change

@lranders Yes. If I switch back to Ubuntu 24.04 and use the gateware from 2023, it works. But if I use the gateware that comes with 24.04 it does not work.

I guess it could be a bug in the device tree overlay of the newer gateware?