Ubuntu 19.04 и проблема со звуком HDMI

Сразу после выхода Ubuntu 19.04 я попробовал его (точнее, Ubuntu MATE 19.04 Final Release) с живого CD и обнаружил, что он не может выводить звук на телевизор через HDMI.

• видео показывается по телевизору, но
• звук все еще исходит от моего ноутбука
• при просмотре звуковых устройств, только / есть встроенное звуковое устройство , звуковое устройство HDMI не найдено / не указано в списке.
• Затем я обнаружил, что это проблема не только живого CD, потому что я также сделал новую установку, и симптом тот же.

Обратите внимание, что предыдущие итерации Ubuntu MATE работали хорошо, и если я вернусь к 18.04, то все снова будет хорошо.

Как мне решить проблему?

PS.

Я сообщил о проблеме сообществу ubuntu-mate более месяца назад, но ответа пока нет.

ПФС.

Вот информация о моей звуковой карте (просмотр от 18.04):

$ lspci | grep Graphics
00:02.0 VGA compatible controller: Intel Corporation 3rd Gen Core processor Graphics Controller (rev 09)

$ lspci | grep Audio
00:1b.0 Audio device: Intel Corporation 7 Series/C216 Chipset Family High Definition Audio Controller (rev 04)

$ cat /proc/asound/cards
 0 [PCH            ]: HDA-Intel - HDA Intel PCH
                      HDA Intel PCH at 0xf7e10000 irq 29

$ aplay -l 
**** List of PLAYBACK Hardware Devices ****
xcb_connection_has_error() returned true
card 0: PCH [HDA Intel PCH], device 0: ALC270 Analog [ALC270 Analog]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: PCH [HDA Intel PCH], device 3: HDMI 0 [HDMI 0]
  Subdevices: 0/1
  Subdevice #0: subdevice #0