Merge branch 'master' of git://www.denx.de/git/u-boot-microblaze

arch/arm/dts/zynq-zc706.dts

arch/arm/dts/zynq-zed.dts

arch/arm/dts/zynq-zybo.dts

arch/arm/mach-zynq/Kconfig

arch/microblaze/Kconfig

board/xilinx/microblaze-generic/microblaze-generic.c

board/xilinx/microblaze-generic/xparameters.h

board/xilinx/zynq/Makefile

board/xilinx/zynq/zybo_hw_platform/ps7_init_gpl.c

board/xilinx/zynq/zybo_hw_platform/ps7_init_gpl.h

configs/microblaze-generic_defconfig

configs/zynq_microzed_defconfig

configs/zynq_picozed_defconfig

configs/zynq_zc702_defconfig

configs/zynq_zc706_defconfig

configs/zynq_zc770_xm010_defconfig

configs/zynq_zc770_xm011_defconfig

configs/zynq_zc770_xm012_defconfig

configs/zynq_zc770_xm013_defconfig

configs/zynq_zed_defconfig