fixing zynq driver build