Update kernel to HEAD