ipipe: Fixing bug w/ CONFIG_IPIPE when CONFIG_XENOMAI=n
zynq:gpio: fix accidental file mode change
Xenomai:arm:mm: export current_mm to allow Xenomai nucleus to build as module