It appears the bug also affects the Raspberry Pi 3B (not 2711 specific). Notably, on both platforms adding the KMS overlay causes an HDMI sound output to appear, though a different one from that seen on jammy (without the KMS overlay):
$ cat /proc/asound/cards 0 [Headphones ]: bcm2835_headpho - bcm2835 Headphones bcm2835 Headphones 1 [vc4hdmi ]: vc4-hdmi - vc4-hdmi vc4-hdmi
It appears the bug also affects the Raspberry Pi 3B (not 2711 specific). Notably, on both platforms adding the KMS overlay causes an HDMI sound output to appear, though a different one from that seen on jammy (without the KMS overlay):
$ cat /proc/asound/cards
bcm2835 Headphones
vc4-hdmi
0 [Headphones ]: bcm2835_headpho - bcm2835 Headphones
1 [vc4hdmi ]: vc4-hdmi - vc4-hdmi