linux kernel and xenomai patch