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