[coreboot-gerrit] Patch set updated for coreboot: f0aa01a exynos5420: re-factor the SDMMC GPIO config routines