Fork of Debian kernel with Xenomai patches