[coreboot] New patch to review for coreboot: 2eeda3b armv7/exynos: make BL1_SIZE_KB consistent with numbers used...