[coreboot-gerrit] Patch merged into coreboot/master: b6b1077 exynos: Install the BL1 and set the checksum in the Makefile.