a PKGBUILD file that give you a clean kernel tree.