Added "kernel" to .gitignore