I was able to get sound working by adding `snd_hda_intel.dmic_detect=0` to grub command line, but still no microphone.
I was able to get sound working by adding `snd_hda_ intel.dmic_ detect= 0` to grub command line, but still no microphone.