[coreboot-gerrit] Patch merged into coreboot/master: ffa5bad armv7/exynos5420: Change SPI module to standard <spi-generic> interface.