Re: [PATCH] Removes allarchconfig.sh