u-boot/board/ns9750dev/config.mk