[coreboot-gerrit] Patch set updated for coreboot: 10c744d armv7/exynos5420: Add output ability and half-duplex mode in SPI driver.