Devil kernel 3.4_0.1.4