An sich auch. Hab nur -xcpm als Boot-Flag sonst nichts und es läuft.
Prinzipiell würde ich wie @rubenszy gesagt hat alles in den EFI/kexts/Other packen damit das System clean gehalten wird. Nur wenn es nicht klappen sollte kann man die auch in Library/Extensions packen, da sollten die eigentlich auch funktionieren. Ich persönlich packe etwas nur Im äußersten Notfall nach S/L/E und dann auch ungern