Man muß / soll solche Werte immer von SEINEM System "ziehen". Du kannst es Dir relativ einfach machen indem Du im Hackintool im Reiter PCIe unten auf Exportieren gehst dann legt Hackintool verschiedene Dateien auf den Schreibtisch hier findest Du eine "pcidevices.plist" und in dieser suchst Du Dir den Eintrag Deiner Grafikkarte und nimmst diesen in die config.plist unter DeviceProperties auf.
Habe das mal in die config.plist eingetragen aber leider jeder zweite Boot immernoch ein Blackscreen vor dem Anmeldebildschirm.