[coreboot-gerrit] New patch to review for coreboot: 45c8032 Exynos5420: clean up SPI driver