Just an update, HDMI audio support is not part of the mainline kernel. We are using the Armbian project kernel, which provides this support as a kernel patch. As far as I can tell, the patch is no longer maintained, and at some point between 5.10 and 6.1, it has stopped working, though it is still b...