We will always have to patch our DSDT (which is not really a bad thing). I'm just waiting for the changes to show up on GitHub before posting the newer files together with instructions.
I also got the USB-C port to work 100%, hot-plugging included. I used to have TB3 turned off as this allowed me to hot-plug my USB-C dongle. This however resulted in the HDMI output not working after putting the machine to sleep and waking it back up. As you may know leaving TB3 turned on in our BIOS results in hot-plugging not working. The fix I propose is based on the patches provided
here by
@dpassmor. Our USB-C controller can be found under
_SB.PCI0.RP13.PXSX
. There, the method
_RMV
has to be modified so that it always returns
One
or, alternatively,
HPCE
(which stores a value equal to one). The end result looks like this:
Code:
Scope (_SB.PCI0.RP13.PXSX)
{
Method (_RMV, 0, NotSerialized) // _RMV: Removal Status
{
Return (HPCE)
}
}