[coreboot-gerrit] New patch to review for coreboot: 3fab155 exynos: Install the BL1 and set the checksum in the Makefile.