@CaseySJ Alright! Since I couldn't really help it, I was too curious and flashed my GC-Titan Ridge. Although I already had all I wanted in terms of working hotplug, etc., Thunderbolt bus was tempting. And what a success, with GC-TITAN-RIDGE_rev50_Elias64Fr.bin, added your provided SSDT-TBOLT3-RP05-PORT7-GC-TITAN-RIDGE.aml and just tweaked the Paths to my values. Hotplug still works like a dream. Thunderbolt bus page takes 2 seconds to load but who cares.
It even shows what devices side chains what. This is amazing!
@CaseySJ @Elias64Fr
It's a bless to have you guys in this community. I just want to run out and buy equipment to start a new build...