[coreboot-gerrit] Patch merged into coreboot/master: e42030d arm/exynos: Correct SPI session commands.