Hello!
Judging from commit 06db34b I guess this is expected to work, however in practice uboot 2022.10 (from ubuntu-22.10-preinstalled-desktop-arm64+roc-rk3399-pc.img.xz image) on LibreTech roc-rk3399-pc doesn't detect anything on USB Type-C ports.
Tested Belking Express Dock 3.1 HD, Dell WD15, HP G2 Thunderbolt Docking Station (which is also compatible with USB-only devices) and simple Type-C to HDMI cable.