fix /include/linux/kconfig.h