FWIW, the simplest check is to boot with the following boot option: snd_hda_codec_hdmi.enable_silent_stream=0