Lite kernel

Change-Id: Ic55cb1284b8a24f11e086eab1dd8bb42b6adfec3