microblaze: Make the board configuration name user definable
[platform/kernel/u-boot.git] / board / microchip /
drwxr-xr-x   ..
drwxr-xr-x - pic32mzda