Ich weiß nicht, ob das wirklich funktioniert, oder es einen besseren Weg gibt:
Aber ich denke mal es sollte reichen wenn du die .kext unter /System/... durch die gepatchte austauscht. Dann solltest du aber auf jeden Fall die alte .kext weg sichern.
Generell würde ich aber davor abraten, den Treiber automatisch laden zu lassen, bis er richtig gestest wurde.