Update kernel

Change-Id: I4edd5d8e88887e45bec4d65f0baf9aa429fbc404