fix typo in linux_zynq.txt