Also, erst einmal super, dass es soweit läuft.
Frage 1: Hast Du die Defaults geladen und anhand des Videos die Bios Settings neu eingestellt?
Frage 2: Hast Du das Bios Setup Guide von HP gelesen? Da steht eigentlich für jeden Punkt, was er macht.
Zum EHCI Debug:
USB EHCI Port Debug (enable/disable). Allows you to enable and disable the EHCI debug
port. The EHCI Debug Port is an optional capability of EHCI controllers.
Das sollte weder USB3.0 abschalten noch die Ursache des Übels beim Boot sein.
Ich würde im nächsten Schritt einmal die USB Security disablen und dann noch einmal mit und ohne USB Debug enable testen.
Das ganze dann bei ausbleibendem Erfolg mit USBInjectAll und XHCI Port Limit Quirk unter Kernel. Vorher natürlich die USBToolBox und USBMap rauswerfen.
Meine Vermutung geht dahin, dass die Security den Boot von USB verhindert.
Und mittels der USBInjectAll schliessen wir dann die USB Kexte als Ursache für fehlende USB3.0 Konnektivität aus.
Du sagtest das Problem mit fehlendem USB3 ist auch unter Windows? Dann liegt es eher nicht am Kext, den Du erstellt hast. Dieser wird unter Windows gar nicht geladen.