Update kernel/.gitignore with new auto-generated files