Use Slims kernel

Change-Id: Id3d0e859848d2336c34c64104c8d92ff35c6c323