Slow progress
!
Seem to have a lack of ACPIDebug log, some information appear on one test and disappear for another... Probably due to a limited capacity of the device RMDT added for ACPIDebug feature.
Could you try to modify it like this :
Before: Name (RING, Package (0x0100){})
After: Name (RING, Package (0x1000){})
We can probably extend memory capacity like that.
Some issues on XHC2 (DSB2) device part power supply ! Seem that SGOV(FPG0) used by TBFP (ThunderBolt Force Power) only power-on NHI part of the device, which is maybe not the case with Alpine Ridge.. or just a different layout of GPIOs on Designare board.
It will be interesting to NOT using any SSDT-TBT, disconnecting all devices on Tbt and seeing what happen on Ioreg with GPIO3FrcPw disabled.
Little doubt with OSDW .. to be sure, I have removed all OSDW conditions used on all _PSx .. and whole others.
Please, remember to disable GPIO3FrcPw on BIOS before the following test
Attached updated file SSDT-TbtOnPch-Designare_Draft07.aml