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