ot1200: add support for usdhc4
[platform/kernel/u-boot.git] / board / bachmann /
drwxr-xr-x   ..
drwxr-xr-x - ot1200