[coreboot-gerrit] Patch merged into coreboot/master: db8a295 exynos5250: Add a pinmux function to set up i2s bus 0