Si vous avez des problèmes de son (sound) avec l'HDMI, voici un article de It's F.O.S.S. qui me semble intéressant d'autant plus que j'ai déjà eu ce genre de souci sous Bodhi Linux et Lubuntu (mais pas sous eOs). Sous Lubuntu, récemment, j'ai trouvé la solution très simplement en installant PavuControl (PulseAudio Volume Control program).
L'article est en Anglais, désolé: http://itsfoss.com/how-to-fix-no-sound-through-hdmi-in-external-monitor-in-ubuntu/
Voir aussi: http://itsfoss.com/fix-sound-ubuntu-1404/