uboot/board/freescale/mx31pdk/config.mk