Add support for Xilinx Zynq-based Zedboard and more generally all Zynq-based boards.
Submitted by: Thomas Skibo