No sound on HDMI by default on Lenovo T14s using Fedora 37

[Mike FABIAN <mfabian@xxxxxxxxxx>]

With a Lenovo Thinkpad T14s (Gen1, Intel version), I tried to get sound
on the monitor speakers via the HDMI cable.

It didn’t work out of the box and after a bit of googling I found:

    https://forums.lenovo.com/t5/ThinkPad-T400-T500-and-newer-T-series-Laptops/T14s-AMD-no-HDMI-audio-on-Linux/m-p/5081195?page=2


which suggested to put

    snd_rn_pci_acp3x.dmic_acpi_check=0

on the kernel command line.

So I tried this:

$ cat /etc/modprobe.d/lenovot14s.conf 
options snd-rn-pci-acp3x dmic_acpi_check=0

And that did make it work indeed.

I have no idea what this means and why this makes it work.

-- 
Mike FABIAN <mfabian@xxxxxxxxxx>
睡眠不足はいい仕事の敵だ。