Update kernel_main.c