Update install_kernel.py

- Kernel check didn't work for me
- install_kernel.py is now executable