Comment # 3 on bug 1028966 from Oliver Neukum

This is a type C-plug. Plugging anything into that creates the full hotplug
cycle: USB, Thunderbolt and DisplayPort. It is unclear what of that is broken
on your device. Please provide the log of the working case.

1. boot with device
2. unplug the device