Move to SlimKernel

Change-Id: I7f1a1f6df3108015b0f6a12e384f6a5d3a13938a