Leider hab ich nur wenig Zeit heute:
Stecker ist drin in USB3_12
Läuft aber nicht ganz 100%ig: der obere Anschluss wird nur als USB2 erkannt.
Läuft im Hackintool unter HS01, der untere ist HS02 für USB2 und SS02 für USB3. Der wohl passende SS01 für den oberen Port ist wohl abgeschaltet, jedenfalls für das Hackintool und ioReg.
In Apples System-Report wird die USB2-Reihe unter USB3 gelistet.
Ich verwende den blauen USB-Kext, ach Nr.1 von Deinen beiden. Nr.2 hab ich rot markiert, das macht es einfacher (und ich bei aktualisierten Kexten immer so). Sonst hab ich nichts verändert.
Den Rest heute Abend.