Kconfig: define correctly