[PATCH] doc: coolpi: Fix the defconfig name