Update kernel

Change-Id: I4406164e3eaac6c812c909d474d285ef3bb89059