added zynq kernel