LK: Add 8bit BCH ECC Nand support.

Change-Id: I84277d6d3fd9021a3dcf1e5711827de05d4288d3
diff --git a/app/aboot/aboot.c b/app/aboot/aboot.c
index 751a598..2bf9be4 100644
--- a/app/aboot/aboot.c
+++ b/app/aboot/aboot.c
@@ -756,9 +756,13 @@
 	}
 
 	if (!strcmp(ptn->name, "system") || !strcmp(ptn->name, "userdata")
-	    || !strcmp(ptn->name, "persist"))
-		extra = ((page_size >> 9) * 16);
-	else
+	    || !strcmp(ptn->name, "persist")) {
+		if (flash_ecc_bch_enabled())
+			/* Spare data bytes for 8 bit ECC increased by 4 */
+			extra = ((page_size >> 9) * 20);
+		else
+			extra = ((page_size >> 9) * 16);
+	} else
 		sz = ROUND_TO_PAGE(sz, page_mask);
 
 	dprintf(INFO, "writing %d bytes to '%s'\n", sz, ptn->name);