X86 64

Here we are adding MMu support for the x86-64 port, that way we can keep up with the changes on current LK code