[coreboot] Patch merged into coreboot/master: 74e27b4 armv7/exynos: make BL1_SIZE_KB consistent with numbers used...