Hello,I bought a USB-c to HDMI converter but nothing happened when I plugged it. Since then I browsed forums and found out that my laptop doesn't support HDMI conversion through this port. Is it normal though to not see a USB 3.1 controller under dev...