Re: [PATCH] doc: coolpi: Fix the defconfig name