zynq: adding xenomai defconfig