kernel.py: simplified file description