Building barebox:
make ARCH=arm sama5d3xek_defconfig
4.4.1.9. Atmel AT91SAM9X5-EK Evaluation Kit
4.4.1.11. Atmel SAMA5D4 XPLAINED ULTRA Evaluation Kit