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