RPM packaging for a Xenomai-patched kernel