Until the mentioned patches are merged you can add snd_rn_pci_acp3x.dmic_acpi_check=1 to GRUB_CMDLINE_LINUX_DEFAULT in /etc/default/grub . This will force DMIC support.
From the kernel docs of the snd_rn_pci_acp3x module:
/**
* dmic_acpi_check = -1 - Use ACPI/DMI method to detect the DMIC hardware presence at runtime
* = 0 - Skip the DMIC device creation and return probe failure
* = 1 - Force DMIC support
*/
Don’t forget to run $ sudo update-grub afterwards.