using kconfig to produce configuration file