Move to SlimKernel

Change-Id: I9d52a9a39ab60c06085c7dd597755a558a4ee6f3