EDIT: Meh, immer wenn man um Hilfe bittet kommt man plötzlich selbst auf die Lösung. XHCI-Injector KEXT rausgeworfen und zack ist der USB 3.1 weg. Hätte ich auch gleich drauf kommen können.
Auch von mir ein Dankeschön für diese Anleitung. Funktioniert im Kern wunderbar und ich bin mittlerweile dazu übergegangen eine Positiv-Liste mittels SSDT-UIAC zu erstellen. Auch das funktioniert klasse. Habe allerdings ein Problem mit den zwei USB 3.1 Ports an meinem Mainboard (einmal Typ-A und einmal Typ-C). Diese werden unabhängig von meinen Includes immer injected und sprengen deshalb mein Port Limit, weshalb ich zwei tote USB Anschlüsse habe die eigentlich in der SSDT inkludiert sind. Hat jemand eine Idee wie ich diese eliminiert bekomme (brauche kein USB 3.1)?