This is modified to be kernel 3.10.39 - RT enabled