[coreboot-gerrit] Patch set updated for coreboot: b7ebd00 armv7/exynos5420: Provide configuration for SPI0~SPI2.