cat header.tk >> ./kconfig.tk ./tkparse < ../arch/i386/config.in >> kconfig.tk KERNTYPE=`sed -n 's_/\ Kernel type \(.\) \*/\1p' /boot/kernel.h 2>/dev/null`; \