Use Cl3Kener's diablo kernel

Change-Id: Ic5cd571238e87284bc763f2ebb218aee63154e10