configs/misco: CONFIG_DEFAULT_SMALL should not be set either. It is really...

configs/misco:  CONFIG_DEFAULT_SMALL should not be set either. It is really too late now, hoever, because all of the small defaults have already been set.