u-boot/board/mx31ads/config.mk