Update kernel

Change-Id: Ibb1fd59ba79514fdbebc76cb72c1002696ac7d58