diff --git a/board/avnet/microzed/readme.txt b/board/avnet/microzed/readme.txt
index ab47069a73..d0fc5eec35 100644
--- a/board/avnet/microzed/readme.txt
+++ b/board/avnet/microzed/readme.txt
@@ -7,7 +7,7 @@ available from http://www.zedboard.org .
 
 Steps to create a working system for Microzed:
 
-1) make microzed_defconfig
+1) make zynq_microzed_defconfig
 2) make
 3) copy files BOOT.BIN, u-boot-dtb.img, rootfs.cpio.uboot,
 	uImage, zynq-zed.dtb into your SD card
diff --git a/board/avnet/zedboard/readme.txt b/board/avnet/zedboard/readme.txt
index 0f72d0db6b..01ef97c2c0 100644
--- a/board/avnet/zedboard/readme.txt
+++ b/board/avnet/zedboard/readme.txt
@@ -7,7 +7,7 @@ available from http://www.zedboard.org .
 
 Steps to create a working system for Zedboard:
 
-1) make zedboard_defconfig
+1) make zynq_zed_defconfig
 2) make
 3) copy files BOOT.BIN, u-boot-dtb.img, rootfs.cpio.uboot,
 	uImage, zynq-zed.dtb into your SD card
diff --git a/board/xilinx/zc706/readme.txt b/board/xilinx/zc706/readme.txt
index 273752fe02..b180dea1b1 100644
--- a/board/xilinx/zc706/readme.txt
+++ b/board/xilinx/zc706/readme.txt
@@ -16,7 +16,7 @@ boot.bin file.
 If you already have the Xilinx tools installed, the following sequence
 will unpack, patch and build the rfs, kernel, uboot, and uboot-spl.
 
-make xilinx_zc706_defconfig
+make zynq_zc706_defconfig
 make uboot-patch
 cp ${XILINX_SDK_LIB}/hwplatform_templates/ZC706_hw_platform/ps7_init.{c,h} \
    output/build/uboot-xilinx-v2014.1/board/xilinx/zynq/
diff --git a/configs/microzed_defconfig b/configs/zynq_microzed_defconfig
similarity index 100%
rename from configs/microzed_defconfig
rename to configs/zynq_microzed_defconfig
diff --git a/configs/xilinx_zc706_defconfig b/configs/zynq_zc706_defconfig
similarity index 100%
rename from configs/xilinx_zc706_defconfig
rename to configs/zynq_zc706_defconfig
diff --git a/configs/zedboard_defconfig b/configs/zynq_zed_defconfig
similarity index 100%
rename from configs/zedboard_defconfig
rename to configs/zynq_zed_defconfig