Adding snd_hda_intel.dmic_detect=0 to the boot options indeed worked for me (10th get i7 X1) and it keeps the mic disabled.
Adding snd_hda_ intel.dmic_ detect= 0 to the boot options indeed worked for me (10th get i7 X1) and it keeps the mic disabled.