[coreboot-gerrit] Patch set updated for coreboot: 7c7025a exynos5420: Replace the 5250 GPIO code with code that should work on 5420.