Linux - ich höre nix!

Ja, das war auch ärgerlich - aber glücklicherweise schnell behoben! Informationen zu dem Problem habe ich hier gefunden. Hier ist im Prinzip das Kommando, welches ihr brauchen werdet:

sudo echo "blacklist snd_hdmi_lpe_audio" > /etc/modprobe.d/blacklist_snd_hdmi_lpe_audio.conf

…nach einem erneuten Neustart sollte nun auch der Ton problemlos funktionieren (und nicht mehr in den meist unangeschlossenen HDMI geleitet)!