HDMI Adapters with USB3 Support

With the Windows SDK coming out soon, there will be a requirement for HDMI adapters to support USB3 data.
USB3 is how RGB camera from Nreal Light communicates to the host in order to compute 6DoF position.
There are a couple of PCIE based DP to USB-C boards that will do USB3.
However, most if not just about all HDMI adapters out there only support USB2 data for Audio and 3DoF.

Are there any HDMI to USB-C Alt Mode adapters with USB3 support that you could recommend?