Update copyright in kernel/main.c