@lelet and everyone, this is amazing!
I have been struggling to get anything to hotplug with my Asus Prime x299 deluxe and Asus tbex3 card even though so many people have claimed it to be working. After trying every sort of arbitrary entry, and variation, nothing worked.
I have been following this thread for a while and now I just copied the PCI-Thunderbolt section to DSB1 in my SSDt from SSDTv2 as you mentioned, and now I can reconnect only my Apollo, but not my satellite.
I am fairly new to SSDTs so I am not sure if this means anything, but upon investigating my IOReg vs the iMac Pro IOReg, I noticed this difference. Can this IOPCITunnelL1 be the tunnel that allows subsequent devices to also reconnect?
And if so, how can we edit this value?
Hoping we can solve this completely!