[coreboot-gerrit] Patch set updated for coreboot: 782efa5 exynos5420: Implement support for the pinmux as functions.