No sound from your TV connected via HDMI to a SteamOS machine? Can’t select the HDMI soundcard?

Switch to Desktop Mode, go to Settings, then Sound, select HDMI, play test sound, exit.

Now there is sound in SteamOS.