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