board/p1010rdb: add pin mux and sdhc support in any boot
[platform/kernel/u-boot.git] / board / atmark-techno /
drwxr-xr-x   ..
drwxr-xr-x - armadillo-800eva