HDMI Audio Patches Posted For Raspberry Pi's VC4 Driver

If these patches land soon, the Raspberry Pi could beat newer AMD graphics cards to having mainline HDMI audio support via their respective Linux kernel DRM drivers (with the AMDGPU audio support still being held up by DAL/DC mainlining efforts). Eric Anholt managed to finally put out the VC4 HDMI audio code for review...