Ich bin unterwegs und kann erst später mal reinschauen in die config.plist. Das späte Verbotszeichen kann ein Hinweis auf USB Problem sein. Der Port schaltet dann ab. Evtl. Die SSDT-EC-USBX.aml aus dem OC Paket in ACPI einbauen. Ist zwar in der Dortania Guide nicht dabei, aber die dürfte im Zweifel auch nicht stören. Schau mal bei Dortania rein, was da zu USB eingestellt werden kann. Oder auch noch andere USB Ports probieren.
EDIT: respektive SSDT-EC.aml