Das hilft mir nicht...
Es handelt sich hier um ein X79er Board, dessen DSDT nicht den Standard Intel5- bis Intel10-Serien entspricht.
Ohne eine IOReg habe ich keine Chance hier was zu machen.
Ich würde mich an Eurer Stelle erstmal über config.plists von funktionierenden x79er Boards herantasten.