Fix HDMI Audio on Dell XPS 8940 with Ubuntu 20.04

Refer: https://askubuntu.com/questions/1230002/hdmi-sound-not-working-after-upgrading-to-20-04

First install all of your update, and install the propritorary drivers

rm -r ~/.config/pulse/
reboot