After having done some more research about it - and having access to an actual machine - it seems the easiest way to solve this bug would be to edit /etc/modprobe.d/alsa-base.conf and adding the line:
options snd-hda-intel model=dell-m6-dmic
Then reboot. That will remove one internal mic and leave the correct one still there.
For reference, this was used on PCI SSID 1028:0413.
After having done some more research about it - and having access to an actual machine - it seems the easiest way to solve this bug would be to edit /etc/modprobe. d/alsa- base.conf and adding the line:
options snd-hda-intel model=dell-m6-dmic
Then reboot. That will remove one internal mic and leave the correct one still there.
For reference, this was used on PCI SSID 1028:0413.