kconfig: fix savedefconfig with choice marked optional