Switch to devil kernel by DerTeufel

Change-Id: I3d4598bad33e977b121357ac0003cb06f3fb2b73