Ich habe den Beitrag mal zum eigentlichen Thread dazu gepackt, denn es macht keinen Sinn die Arbeit über mehrere Vorgänge zu verteilen, wenn es letztendlich um das gleiche System geht.
Mir fehlt in deiner Auflistung einer der folgenden Kexte:
FakeSMC oder VirtualSMC...
Von den Sensoren-Kexten sehe ich erstmal ab.
Ohne diese würde die Kiste normalerweise nicht starten können.
Zudem brauchst du keinen HDAEnabler, wenn du in der config.plist die "DeviceProperties" für deine interne Soundkarte eingesetzt hast.
Zudem kenne ich keine DELL 1850 WLAN/BT Combo.... das sollte entweder die DELL DW1560 (2 Antennen) oder DW1830 (3 Antennen) sein.