uboot/board/mx31ads/config.mk