Update kernel.asm and kernel.c