Bug#942886: linux-image-5.3.0-1-amd64: Can not modprobe "snd_hda_codec_hdmi"

[Stephan Lachnit]

Sounds like [#942881](mailto:942...@bugs.debian.org)
If it's the same then booting with linux-image-5.2.0-3-amd64 should work.

Stephan