Witam
Ja mam podobny problem. Z tymże wcześniej miałem dźwięk.
Teraz system w ustawieniach dźwięku w ogóle nie pokazuję urządzenia HDMI.
Po uruchomieniu systemu z usb (15.04 i 14.04) jest urządzenie HDMI ale nie działa.
W Kubuntu za to działa.
Nie wiem czy to się stało po jakiejś automatycznej ...