re: how can default Kconfig values be defined elsewhere?