add changes to disable CPU_HOTPLUG and ZYNQ_REMOTEPROC for xenomai.