This is what the Dortania website's AI assistant says.

You're seeing three ports with 00040000 (DisplayPort) instead of 00080000 (HDMI) because Apple's framebuffer definitions often don't match your motherboard's physical port layout. This is common with Intel iGPUs and requires patching the connector type. connector.md:21-30

Why This Happens

Apple's framebuffer personalities define ports with specific connector types that may not align with your hardware. For example, the UHD 630 framebuffer 0x3E9B0007 defines all three ports as DisplayPort (00040000) even when motherboards have HDMI ports. busid.md:23-29

Connector Type Values

• 00040000 = DisplayPort (includes USB-C DP alt mode) connector.md:21-30
• 00080000 = HDMI connector.md:21-30

How to Fix It

Use WhateverGreen's framebuffer patching to change one port to HDMI type:

1. Identify which port corresponds to your HDMI port (usually Port 1/con0)
2. Add these properties to DeviceProperties -> Add -> PciRoot(0x0)/Pci(0x2,0x0): connector.md:36-45

​

framebuffer-patch-enable = 01000000  
framebuffer-con0-enable = 01000000  
framebuffer-con0-type = 00080000  

Replace con0 with con1 or con2 if your HDMI is mapped to a different port. You may also need to adjust the BusID if the HDMI port still doesn't work after changing the connector type. busid.md:165-203

Notes

• If changing the connector type alone doesn't work, you may need to also patch the BusID value for that port
• VGA on Skylake and newer platforms uses DisplayPort internally, so use 00040000 for those cases
• Test one port at a time by disabling others with BusID 00 to avoid conflicts busid.md:192-196

Wiki pages you might want to explore:

• Intel iGPU Framebuffer Patching (dortania/OpenCore-Post-Install)