I managed to find a way to fix this until it is patched:
Create this file: /etc/kernel/cmdline.d/snd.conf
With this content:
snd_hda_intel.dmic_detect=0
Then run
sudo clr-boot-manager update
This will disable mic detection in your kernel at boot time.
After a reboot should be present in:
cat /proc/cmdline
You should have sound output.