u-boot/board/avnet/fx12mm/Makefile