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