Comment # 44 on bug 67051 from Ilia Mirkin

(In reply to comment #43)
> 8e9e3d2deacc460fbb8a4691140318f6e85e6891 + hdmi-1.patch + hdminva3.patch +
> hdminva3-4.patch
> 
> eld#3.0 Good   NO HDMI sound

Just to make sure we're talking about the same thing, mind uploading your
hdminva3.patch to the bugtracker?