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