fix syntax error in Kconfig