Comment # 5 on bug 92827 from Michael Zapf

I just got kernel 4.14, but I still don't have any audio output via HDMI. Is
that supposed to work by now?