HDMI audio is the first sound device on Galago UltraPro, according to "aplay -l". Instead of fighting with the various subsystems' ideas of how to specify the audio device, I just turned it off:

...