u-boot/board/atmel/at91rm9200dk/config.mk