I bought a RGBlink Mini videomixer for live streams, that converts HDMI-signals to USB3. It works perfect on all systems I tested it on (both old and new systems, both Windows and Mac, without having to install any drivers, the device is detected automatically as a webcam), except on my Lenovo...