Fixed a mistake in Kconfig