add xenomai zynq post changes