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