Update kernel.html