working kernel

Change-Id: Ifd615fa14f7be67753366eb0cba84f4d2f7518d1