How can I get HDMI sound to work in 16.04?
Actually I finally solved this.
It turned out to be pulseaudio was using the wrong sample rate.
Following the advice in tom.ty89's 2016-01-11 08:37:45 post, my sound suddenly came alive...
https://bbs.archlinux.org/viewtopic.php?id=207085
Thanks anyway!