u-boot/board/idmr/config.mk