# CONFIG_MODULES is not set
CONFIG_OPT_BOOL_CHOICE0=y