Update kernel

Change-Id: Ib26a2d870464acd7fd786ae7634cea0e473b7a69