linux/Documentation/kernel-hacking/conf.py