[coreboot-gerrit] Patch merged into coreboot/master: ed1742c armv7/exynos5420: Provide configuration for SPI0~SPI2.