If you load the alsa-utils extension, you should see this: aplay -l | grep hdmi
card 1: vc4hdmi0 [vc4-hdmi-0], device 0: MAI PCM i2s-hifi-0 [MAI PCM i2s-hifi-0]
card 2: vc4hdmi1 [vc4-hdmi-1], device 0: MAI PCM i2s-hifi-0 [MAI PCM i2s-hifi-0]
..and this: cat /proc/asound/modules
0 snd_bcm2835
1 vc4
2 vc4
..however neither of these work for me: speaker-test -Ddefault:1 -c2 -t wav -l1
speaker-test -D plughw:1,0 -t wav