Comment 5 for bug 1901157

I use this small script based on Giuseppe's findings as a workaround:

#!/bin/bash
sudo modprobe -r snd_rn_pci_acp3x
systemctl --user restart pulseaudio
sudo modprobe snd_rn_pci_acp3x