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