ODROID-X: Add support for ODROID-X board

Hardkernel's ODROID-X board is based on Samsung's Exynos4412 SoC.

Signed-off-by: Dongjin Kim <tobetter@gmail.com>
ODROID-X: board: Add pinmux for eMMC

The pinmux configuration is added to support eMMC, supporting 8-bit bus width.

Signed-off-by: Dongjin Kim <tobetter@gmail.com>
gpio: samsung: add pinmux function 3bit pin config

This patch adds the function can config 3-bit based gpio configuration
for each gpio pin.

Signed-off-by: Dongjin Kim <tobetter@gmail.com>
arm: exynos: Add SDCARD4 configuration for Exynos4

This patch adds pinmux function to support SDCARD4 on Exynos4.

Signed-off-by: Dongjin Kim <tobetter@gmail.com>
ODROID-X: config: supporting new uImage format