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