Falls jemand mit dem neuen 5.2-Kernel Probleme hat mit externen Adaptern von USB C auf DisplayPort/HDMI, die DP Alternate Mode benutzen, dann vertwittere ich hier in dem Zuge mal meine Odyssee: