Xenomai 2.6 patches.