Um auf dem Mac eventuell problematische Kext-Dateien / Extensions zu finden ist folgender Befehl hilfreich

system_profiler SPExtensionsDataType | grep Rocha -B16

Das grep im Anschluss filtert die Ausgabe nach dem Author „Rocha“ und zeigt die 16 Linien vor der Fundstelle an, um das Kext genau zu identifizieren.