Thank you very much for the pointer, makes perfect sense!
I attempted to re-map the HS03 port into USB2 via Hackintool. I updated the ACPI and Kext for USB, however, it didn't lead to any improvement / /change.
I also tried using the RHUB method and pointing to the HS03 port, however I didn't...