Kernel

Change-Id: Ieb15a94b73bdd54cc346f6e3c1e7bb35beb34914