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