kconfig: use distinct tokens for type and default properties