[coreboot-gerrit] Patch merged into coreboot/master: fe64060 exynos5250: De-switch-ify the pinmux configuration code.