Update kernel

Change-Id: If502ec7baa93bf6e0bde5cded5c7e76cc84e18e3