u-boot/board/cradle/config.mk