[coreboot-gerrit] New patch to review for coreboot: ca87807 ARMv7: De-uboot-ify Exynos5250 GPIO code