Fix issue 5: The kext can be unloaded, although not cleanly