Update kernel

Change-Id: I237d9394b1b123c2e01bd0ec80046875ee05b753