Nachdem ich selbst das Problem hatte, dass nach der Aktualisierung vom XBMC auf die Version Gotham kein Ton mehr über HDMI kam, hier die Lösung 🙂
Bei der Aktualisierung wird ein Pulse-Audio-Server installiert. Im XBMC-Audiomenü kann nun nur noch dieser ausgewählt werden. Den Puls-Audio-Server könnt Ihr mit folgendem Befehl in der Konsole deinstallieren:
aptitude purge pulseaudio
Nun lassen sich wieder alle Audioausgänge im XBMC-Audiomenü auswählen.