Immediately after the most recent update (Ubuntu 22.04.2 LTS), i have lost hdmi audio. Video works (is displayed on monitor), but there is no sound. Furthermore, there are no options to select the hdmi / monitor source from the settings page, even when the hdmi lead is plugged in, even from system boot. I have also edited the grub file as recommended here.
I have also disabled virtulisation from the bios (had docker installed), killed and restarted pulseaudio, nothing seems to work.
What has gone wrong? Has anyone found a fix?