Update kernel_ll.asm, paging.h and paging.c