u-boot/configs/armadillo-800eva_defconfig