Move to SlimKernel

Change-Id: I72bdc422c1624bf3061d9cf7f994c60ccd7afd18