Update start_kernel.c