[coreboot-gerrit] Patch merged into coreboot/master: dc006c1 ARMv7: De-uboot-ify Exynos5250 GPIO code