Comment 82 for bug 2009136

Verified on kinetic with 5.19.0-42-generic, the issue is fixed.

With kernel 5.19.0-40-generic: No HDMI audio output device
$ cat /proc/asound/cards
 0 [PCH ]: HDA-Intel - HDA Intel PCH
                      HDA Intel PCH at 0x200ffe310000 irq 77

With kernel 5.19.0-42-generic: Sound output device shows "HDMI/DisplayPort3 - Ellesmere H"
$ cat /proc/asound/cards
 0 [PCH ]: HDA-Intel - HDA Intel PCH
                      HDA Intel PCH at 0x200ffe310000 irq 77
 1 [HDMI ]: HDA-Intel - HDA ATI HDMI
                      HDA ATI HDMI at 0x9e840000 irq 78

Kernel: 5.19.0-42-generic
Graphic: RX 580