[coreboot-gerrit] Patch set updated for coreboot: 873eb9d armv7/exynos5420: Change SPI module to standard <spi-generic> interface.