[coreboot-gerrit] Patch set updated for coreboot: efd5ba4 exynos5420: configure SD_0_CDn as VDDEN for eMMC