Thank you very much for the pointer, makes perfect sense!The four USB2 ports are controlled by a hub, that is why they show under the same port (HS03).
You need to set HS03 as USB2 (0) connector type and all four ports should work.
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 succeed here either (yet)
I assume that I need to look into the ACPI provided in this forum and manually re-point the USB port - something that I would experiment with over the weekend.