Linux kernel packaging with i-pipe-based real-time extensions:  Xenomai