Support for AMD SOC digital microphone

[Pavel Lunix <pavel@lunix.cz>]

Hello, 

I have Lenovo Thinkpad P14s Gen4 AMD and found the integrated microphone is not working due to missing kernel module (+ the integraded dmic under the same structure):

https://www.kernelconfig.io/config_snd_soc_amd_ps

From Debian stock kernel config:

# CONFIG_SND_SOC_AMD_PS is not set

What is the appropriate place to request adding this module to Debian kernel?

Thanks

Pavel