Comment # 4 on bug 1188428 from Michael Hirmke

(In reply to Takashi Iwai from comment #3)
> Yes, that's something to do with thunderbolt port, judging from the error
> log.
> 
> Adding Oliver to Cc as it's about TB.

Really with the ports or with thunderbolt at all? It is clear to me, that boltd
is the thunderbolt daemon, so that there might be a thunderbolt problem, but
where do you find a hint regarding the ports?

But just in case:
I also have the problems again, that both thunderbolt ports are not completely
usable.
1. The system does not recognize all power supplies (even the original DELL
ones), when connected to one of the two thunderbolt ports on the left side of
the notebook. It works for all power supplies connected to the USB-C port on
the right side.
2. All non thunderbolt and some of the thunderbolt devices with whatever cable
connected to one of the two thunderbolt ports won't work or at least won't work
fully. I often get the message "bad cable" - but I tried about 10 or 12
different cables specified for thunderbolt and high speed data transfers.
3. Everything works when booting Windows 10 - it even boots from a disk
connected to one of the thunderbolt ports with an adapter. Not a single error
message is found in the Windows eventlog.