Update kernel.c and kernel_ll.asm: get the size of the kernel