[PATCH] kconfig: fix savedefconfig with choice marked optional

From: Sam Ravnborg
Date: Sat Aug 14 2010 - 17:29:31 EST