Mike Larkin wrote: > check the lists; this was reported lots of times. I think it was some > thunderbolt related thing in the BIOS.
Ah, I missed the right threads when searching previously. Apparently I wasn't specific enough. Now I found the message you mentioned: https://marc.info/?l=openbsd-misc&m=164789521428035&w=2 I've set Security > I/O Port Access > Thunderbolt(TM) 3 to "Disabled" in the BIOS and now the problem is gone. Thanks a ton!
