chiark / gitweb /
[PATCH] add KERNEL_DIR option so that the distros will be happy