Move to SlimKernel

Change-Id: I1ff848a9a3eefa2bc662ee9f6834d0d9b81c61be