slim kernel

Change-Id: I46edf5ce5d7d319b11f90c0347ddefd96170ffd3