RaspberryPI 3.5.7 Xenomai patch