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