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