okay so I renamed #AddProperties, I have working audio via AppleHDA, I have FakePCIID and FakePCIID Hdmi audio installed. Connector type in IOReg is 00 08 00 00. However I don't get the ig-platform-id + patches part, what should I change in config.plist ? With this setup, the internal display...