RTAI version that works with 3.5.7
Use the kernel patch in the root dir of the git