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