Re: CONFIG_XXX vs CONFIG_HAVE_XXX ?