[U-Boot] DWMMC crontroller in Exynos4412

[Humberto López León]

Hi Simon,
I'm working on implementing a driver for SD/MMC cards in the framework 
GenodeOS. I think you could help me with your experience in this type of 
implementation in the u-boot.
The hardware platform on which the driver will work is a ODROID-x2 
(exynos4412). I use the DWMMC contoller, but I'm not sure if this is the 
right controller to handle SD/MMC cards in Exynos4412 SoC. The SDHCI 
controller is most appropriate?

Thank you for your help