[PATCH v3 09/23] tools: prevent CONFIG_IS_ENABLED errors by including linux/kconfig.h