Debian/Ubuntu kernel source packaging, patched with Xenomai