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