linux kernel and driver README for zynq