Patch merged into coreboot/master: efd5ba4 exynos5420: configure SD_0_CDn as VDDEN for eMMC

the following patch was just integrated into master:
commit efd5ba40a0c2bcc8d2f827501260c19ccff6f44b
Author: David Hendricks 
Date:   Thu Aug 8 14:51:07 2013 -0700

exynos5420: configure SD_0_CDn as VDDEN for eMMC

On Exynos5420 the MMC channel 0 is connected to eMMC
    Which does not have a card detection pin. Also this pin
    is connected as VDDEN to PMIC.

This is ported from https://gerrit.chromium.org/gerrit/#/c/60732/

Signed-off-by: David Hendricks

Change-Id: I19048d22b7dd00df1716b6b5b332a7eb70fe0836
    Reviewed-on: https://gerrit.chromium.org/gerrit/65247
    Reviewed-by: Gabe Black 
    Commit-Queue: David Hendricks 
    Tested-by: David Hendricks

See http://review.coreboot.org/4445 for details.

-gerrit