Update kernel

Change-Id: I067384bd097d84cfb5646197fcb9903875571b27