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