[coreboot-gerrit] Patch set updated for coreboot: d98f3ce exynos: Install the BL1 and set the checksum in the Makefile.