[coreboot-gerrit] Patch set updated for coreboot: 42da987 exynos5250: De-switch-ify the pinmux configuration code.