[coreboot] Patch set updated for coreboot: b3850b0 armv7: Add SPI driver for Exynos.