Build script for the Linux kernel written in Python.