Debian kernel packaging, modified with Xenomai x86