Update kernel.html

menu e altro.