kernel patches and xenomai binaries