Update kernel_ll.asm: add 'read_cr2()'
Update memory managers