Sind den alle LAN Ports Enabled im Bios? Kann durchaus sein, dass die ID hier doch abweicht aber grundsätzlich solltest du ihn dann dennoch im Hackintool sehen können.
Daher ist es allein schon strange das er nicht gelistet wird, kann mir das abends nochmal anschauen.
In Bezug auf Audio hab ich nichts gemacht ausser die ID zu hinterlegen. Geh einfach mal die IDs dafür erneut durch aber mit der EFI die ich gepostet habe.
Irgendwelche zusätzlichen patches nutze ich nicht, auch keine device properties.
Edit: sicher mal einen ioregistrybericht und lad das ganze hier mal hoch. Will mir da was anschauen...