Re: [PATCH] Fix misnamed CONFIG files