Thank you! The difference in config-plist is this:
In the HDMI_work ioreg, you're not injected an ig-platform-id at all. In the SKL kext, it chooses default platform data. I'm not sure whether it corresponds to a certain ig-platform-id, or the data is not associated with an ig-platform-id. But it has the @3 DP connector...
Edit: Looking at the SKL framebuffer init code... reveals that the default ig-platform-id (when none specified) is 0x19120000.
In the 11,2 ioreg, you're using ig-platform-id 0x191b0000. It has an @3 connector, but it is a strange type (01 00 00 00... VGA?).
I would patch the @3 connector in 0x191b0000 to match the @3 default connector...
The @3 connector in the default platform data is probably: 03 06 0A 00 00 04 00 00 87 01 00 00
And the connector you have for @3 in 0x191b0000 is: FF 00 00 00 01 00 00 00 20 00 00 00
So, if you enter a patch for KextsToPatch:
Name=AppleIntelSKLGraphicsFramebuffer
Find=FF 00 00 00 01 00 00 00 20 00 00 00
Replace=03 06 0A 00 00 04 00 00 87 01 00 00
Then you might have working DP/HDMI @3 with 0x191b0000
Of course you probably want it to be HDMI (if the physical port is HDMI):
Replace=03 06 0A 00 00 08 00 00 87 01 00 00
(if you want an example of an existing HDMI connector, look at the ig-platform-data for 0x193b0000)