Re: [PATCH 04/10] Convert CONFIG_SYS_NAND_HW_ECC to Kconfig