I know that this is an patch for AppleIntelSKLGraphicsFramebuffer. I also applied it in Clover as this.
I was just trying to explain why I didn't know what you meant by "tested your AppleIntelSKLGraphicsFramebuffer".
If you had written "tested your AppleIntelSKLGraphicsFramebuffer
patch"...
With the internal HDMI Port I mean the HDMI Port which is builtin in my Laptop where the HDMI Output is working when I boot the Laptop and the picture is there without that I have to re-plug my HDMI Cable.
Sometimes that requires hotplug, sometimes not. I think it depends on how BIOS initializes things...
I know that the USB Part with _UPC has nothing to do with the HDMI Problem. I mean only that with this example that there is maybe an way to make the USB-C Port working with Hotplug instead to boot with the device attached overtime.
I have a couple of computers here with TB3. But I have not started experimenting with them.
For the ones I have, I don't see anything wrong with the _UPC implementation provided by BIOS.
I think the hotplug issues are likely TB3 firmware differences, and other ACPI differences (eg. difference in naming between PCs and Macs).