Um Sound über HDMI zu bekommen als erstes:
http://kodi.wiki/view/PulseAud…ng_PulseAudio)_for_Ubuntu
Pulse Audio deaktivieren.
Dann die entsprechenden Einstellungen in Kodi: Einstellungen/System/Audioausgabe vornehmen. Habe auch lange gewurschtelt. Jetzt läuft
DTS, DTS Master HD, Dolby Tru HD.
Bei der Linux Anmeldung gibt es einen Benutzer Kodi, kann also gleich im Anmeldefenster (kleiner Kreis) ausgewählt werden.