Detach kernel driver for tool/gnuk_token.py