kconfig correction for building