commented out default device trees from *.h

u-boot-tree/include/configs/elphel393.h

@@ -28,7 +28,7 @@
 #define CONFIG_SYS_NO_FLASH
 
 #define CONFIG_ZYNQ_SDHCI0
-#define CONFIG_DEFAULT_DEVICE_TREE	zynq-elphel393
+/*#define CONFIG_DEFAULT_DEVICE_TREE	elphel393*/
 
 #include <configs/zynq-common.h>
 #undef CONFIG_SYS_PROMPT

u-boot-tree/include/configs/zynq_microzed.h

@@ -20,7 +20,7 @@
 
 #define CONFIG_ZYNQ_SDHCI0
 
-#define CONFIG_DEFAULT_DEVICE_TREE	zynq-microzed
+/*#define CONFIG_DEFAULT_DEVICE_TREE	zynq-microzed*/
 
 #include <configs/zynq-common.h>
 #undef CONFIG_SYS_PROMPT

u-boot-tree/include/configs/zynq_zc706.h

@@ -27,7 +27,7 @@
 #define CONFIG_SYS_NO_FLASH
 
 #define CONFIG_ZYNQ_SDHCI0
-#define CONFIG_DEFAULT_DEVICE_TREE	zynq-zc706
+/*#define CONFIG_DEFAULT_DEVICE_TREE	zynq-zc706*/
 
 #include <configs/zynq-common.h>
 #undef CONFIG_SYS_PROMPT

u-boot-tree/include/configs/zynq_zed.h

@@ -23,7 +23,7 @@
 #define CONFIG_ZYNQ_QSPI
 
 #define CONFIG_ZYNQ_BOOT_FREEBSD
-#define CONFIG_DEFAULT_DEVICE_TREE	zynq-zed
+/*#define CONFIG_DEFAULT_DEVICE_TREE	zynq-zed*/
 
 #include <configs/zynq-common.h>
 #undef CONFIG_SYS_PROMPT