u-boot/board/at91rm9200dk/config.mk