Update kernel.nt