[coreboot-gerrit] New patch to review for coreboot: 45fa1bc exynos5420: Replace the 5250 GPIO code with code that should work on 5420.