Adding CMake module for finding Xenomai RT kernel patch build flags