Ok, so 2 hours blew up into about 10, but I got the HDMI audio working on the Radeon HD 5670! Default framebuffer, too :D
The DSDT on this board doesn't play nice with the generic HDMI audio DSDT fix that's listed all over the place. New instructions for this board and graphics card...