re-added original kext that apparently was deleted