getting ready to port the kernel to x86-64 :)