85xx: print boot header info to distinquish 36-bit addr map on MPC8572 DS
[platform/kernel/u-boot.git] / board / avnet /
drwxr-xr-x   ..
drwxr-xr-x - fx12mm
drwxr-xr-x - v5fx30teval