Vero 4K: No HDMI audio after 2022-03-1 update

Get rid of pulseaudio. It doesn’t work with the latest releases. If you need bluetooth audio, see here.