Update Kconfig

Better syntax