Tag kernel as SlimKernel

Change-Id: I7ceb1bc2805fc2d20c4ad4df2c2d2a2fdd59e27e