The correct Kconfig file