add xenomai zynq-pre patch