AMD64 port

The AMD64 port is slowly but surely becoming a reality.
There are still a few bugs to solve, but at least i'm now able to boot JNode and run some commands.