u-boot/board/ixdp425/config.mk