Update kernel (again)