Fixing Xenomai runtime specific parts to remove segmentation fault when stopping PLC

2012-05-22, laurent