Hack to make ARM kexts work for right now...