[coreboot-gerrit] New patch to review for coreboot: fbb6ca5 exynos5420: Implement support for the pinmux as functions.