Alright, let's try the complicated version. It's been modified for RP09, but it needs the following
ACPI --> Patch:
- Table Signature: DSDT
- Find: 5F505453
- Replace: 58505453
- Comment: Change _PTS to XPTS
- Enabled: True (check on)
View attachment 538296
After adding the new SSDT and the ACPI patch, please proceed as follows:
- Perform cold boot (power down and flip PSU to OFF for 10 seconds).
- Restart system and log into macOS.
- Check if Thunderbolt hot plug works.
Please note, however, that some devices will simply not hot plug.
As described by @dehjomz, Thunderbolt peripherals that contain Alpine Ridge JHL6240 will not hot plug. But those with JHL6340, Titan Ridge and Goshen Ridge should work.