Вывод звука через DisplayPort на NUC

В c61de0e6608159911180022d79d1814b00e9809d упоминал что у меня появился
USB-C↔DisplayPort переходник, но я продолжал использовать HDMI, так как
DP (монитор/whatever) не всегда просыпался после энергосберегающего режима.
Но я не проверял выводится ли звук через него. Через HDMI, на NUC, в
отличии от Dell ноутбука -- не выводился, но это связано с драйверами
под мою не самую свежую FreeBSD. И внезапно мой монитор снова стал
колонками! Полтора года у меня не было совершенно никакой возможности
вывода звука не в наушники: даже CD/FM-проигрыватель не имеет линейного
входа.