[coreboot-gerrit] New patch to review for coreboot: e7fb318 Exynos: Change BL1 (boot loader 1) file name.