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