kernel/configs.c

kernel/configs.c echoes the kernel .config file used to bild the kernel in compressed form to /proc/config.gz.