Debian kernel packaging with Xenomai real-time extensions