u-boot/nand_spl/board/karo/tx25/config.mk