Could Zephyr's difficulties be resolved if Kconfig supported an additional operator besides 'select' and 'depends on'? Or perhaps with an overlay capability like bitbake has?
Since Kconfig is used to configure the kernel, why aren't the kernel devs experiencing similar issues with their configurations?