Retesting after riastradh@'s changes on the 10th of July (specifically a releng build with sys/external/bsd/drm2/include/linux/hdmi.h 1.15) and the external display on the ThinkPad T480 (and everything else) seems to be working just fine Thanks David