[coreboot-gerrit] New patch to review for coreboot: ec471ba exynos5250: De-switch-ify the pinmux configuration code.