Nachtrag...
es könnte sein, daß du beim ersten mal in Kodi keinen Sound hast. In dem Fall zuerst in Kodi den gewünschten Ausgang einstellen und nach Auswahl Kodi beenden, dann wieder starten.
Was noch passieren kann wäre, wenn du in Kodi etwas mit Passthrough abspielst und danach zu VDR wechselst, hat VDR keinen Ton mehr. Hier müsste man mit dem User vdr den Befehl "pulseaudio -k" ausführen. Darum kümmern wir uns, sobald etwas produktives bei Kodi raus kommt.