u-boot/board/adsvix/config.mk