USB 3.0 aktivieren

Wie bei vielen anderen auch fungieren meine USB 3.0 Ports nur noch als 2.0 seit 10.11. Jetzt habe ich auch schon einen Guide gefunden um das zu patchen. Allerdings muss ich gestehen, dass die DSDT-Geschichten mal so gar nicht mein Ding sind. Jemand eine Idee wie ich das bei meinem Board wieder hingebogen bekomme? Die DSDT ist ja im ROM. Das ich die extrahieren muss ist klar. Aber was mache ich dann damit weiter?