Нет звука HDMI на Xfce Ubuntu Studio 18

Я установил Ubuntu Studio 18 (Xfce) на ноутбук с портом дисплея. Вывод звука показывает только внутренний звук с телевизором, подключенным через DP-HDMI. На live cd Cinnamon Mint 18 такая же аппаратная конфигурация показывает вывод звука HDMI в дополнение к стандартному.

Кто использует Studio, может быть, вы уже знаете простое решение? Я пытался читать темы о подобных проблемах, они длинные... Тем не менее, я готов добавить здесь системные особенности, чтобы попробовать.

PS Я не возражаю против использования Mint здесь, но конкретное видео часто зависает с ЦП, близким к 100%, на Mint, тогда как в Studio 18 для просмотра требуется менее 20% ЦП. Так много различий из-за них дисплеев?