fixes for kexts&kernel-patcher