Update kernel

Change-Id: I71392dd98e0c99297a3e4011f5382e048a7be4b6