# CONFIG_MTD_NAND_ECC_SW_BCH is not set