Yay, that HDMI audio bug has been fixed:

https://cgit.freedesktop.org/~agd5f/...698c9675d5aed8...