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