use Slim kernel

Change-Id: Ia339c1c1aede32f51adb43587fc01d435ed7f223