uboot/board/atstk1000/config.mk