I've got an early XPS15 9550 i7 with only one USB-C socket and if I just plug it into my HP Thunderbolt Dock G2 230W for my work laptop (only the USB-C cable connected) I get a BIOS warning to say it...