Matthew Dillon and Jordan Gordeev have done further work on AMD64 support; it’s progressing quickly.  Check that first link for a hint on how to install correct boot code.