fpga manager: Adding FPGA Manager support for Xilinx Zynq 7000