fix Kconfig syntax