kernel latexer@gentoo.org config-kernel was written by me to be a general purpose tool forvarious configuration changes regarding the actual kernel build environment