Working fork of ardupilot for Zynq port