use Slim kernel

Change-Id: I1de82c2243c453a4158955386a517a58d6e13f99