alldef_expected_config

# CONFIG_BOOL_CHOICE0 is not set
CONFIG_BOOL_CHOICE1=y