u-boot/board/synopsys/iot_devkit/config.mk