kconfig/conf: fix randconfig setting multiple symbols in a choice