Re: Setting config when using 'make menuconfig'