modified kernel.c and kernel_exit.S