[coreboot-gerrit] Patch merged into coreboot/master: ff0df2b Exynos5420: clean up SPI driver