Нет звука через USBC в HDMI в Ubuntu 18.04

У меня проблема со звуком, использующим подключение USB-C к HDMI из моего Dell XPS15 7590 в Ubuntu 18.04. У меня есть внешний монитор ASUS VP28UQGL, к которому я подключаю свой ноутбук и Apple TV. У монитора есть аудиовыход, поэтому я подключил к нему свои колонки, чтобы легко передавать звук для обоих устройств через HDMI.

Я пробовал 2 конфигурации:

• Подключение портативного компьютера к экрану через выходной порт HDMI портативного компьютера. Здесь звук работает отлично. Однако всякий раз, когда я блокирую свой экран (я не перехожу в режим ожидания), он выключает мониторы, и когда я снова вхожу в систему, Ubuntu обнаруживает внешний монитор, но внешний монитор действует так, как будто у него нет источника входного сигнала (он отображает нет источника ). Мне нужно отключить кабель HDMI, сменить источники или сделать что-то еще, чтобы монитор обнаружил ноутбук.

• Подключение ноутбука к экрану с помощью мини-док-станции USB-C - HDMI (LMP 14368). Вот тут у меня проблем с монитором нет. Я блокирую свой экран, и он без проблем разблокируется, на двух экранах. Однако в этой конфигурации звук через HDMI не работает. Или работает иногда, в основном случайно.

У меня вопрос: была ли у кого-нибудь подобная проблема со звуком, который не работал через мини-док-станцию ​​USB-C - HDMI? И если да, то как это было решено?

Заранее спасибо!