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.
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.