uboot/board/ns9750dev/config.mk