Comment 2 for bug 1716332

Btw: HP Thunderbolt Dock 65W variant works like a charm, without his problem.
USB devices (e.g. USB Keyboard) works, e.g. for boot selection, before booting the linux kernel.