Switch to our own kernel

Change-Id: I95235fb40ddbaf5cf4d7e936b22bc12811bdfe20