extraction of kconfig included with Linux kernel source tree