Hello Xenophage,
I´m a Noob with the same Mobo as you (Gigabyte GA-EP35 DS4 Rev. 2.1), and I managed to install OS86X today, everything works for me, but sound is unavailable. Now I googled your Post and downloaded your dump. Can you tell me how to patch the dump in (wherein?). Thanks a lot, MKammi