[coreboot-gerrit] Patch set updated for coreboot: c6fa006 exynos5250: Add a pinmux function to set up i2s bus 0