Added rtai kernel

It should download the rtai patched kernel and compile against it.