Update kernel

Change-Id: I258c58dc74f455df00aa2b06dd9fff9512f11d71