[coreboot-gerrit] Patch set updated for coreboot: 8c24c71 arm/exynos: Correct SPI session commands.