Since my quarter term report I have made a great deal of progress. The boot loader x86_64 support is finished, and the kernel can now be booted to the point of searching for the boot volume. A screenshot of this:
This is a companion discussion topic for the original entry at https://www.haiku-os.org/blog/xyzzy/2012-07-11_x86_64_port_midterm_report/