Instructions to install Zedboard JTAG drivers in Linux