If I'm not mistaken the power-input is via USB-C: does that imply the existence of a USB-C controller already?