Use Ketut Kernel

Change-Id: I9eb5e52ece6d6ec21f6a15aff72674caf64b1d16