kconfig: speed up all*config + randconfig
[linux-2.6] / scripts / diffconfig
2008-07-25  Tim Birdkconfig: add diffconfig utility