ich habe softhddevice keine Parameter für die Audioausgabe übergeben, so dass die Ausgabe an das default audio device geht. Das ist pulseaudio. In der pulseaudio-Konfiguration habe ich für die nvida-Karte "Digital Stereo (HDMI2)-Ausgabe" gewählt.
In softhddevice ist natürlich passthrough aktiviert, da ich ja sonst kein echtes Dolby Digital an den AV-Receiver schicken könnte.