----- Original Message -----
That might be the reason why I had to blacklist the
snd-hdmi-lpe-audio module
on my system. Pulseaudio crashed trying to access the HDMI audio device.
This wasn't related. Hans pointed me to a work-around for which I found the
upstream bug:
https://bugs.freedesktop.org/show_bug.cgi?id=100488
Cheers