The AMD64 port can now produce a working warm core, and build some of the contribs.

% ls -l output/sbclcore
-rw-r--r--  1 jsnell 449470464 Nov 24 22:39 output/sbclcore
% ls -l contrib/**/*fasl
-rw-r--r--  1 jsnell 328761 Nov 24 22:40 contrib/asdf/asdffasl
-rw-r--r--  1 jsnell  12692 Nov 24 22:40 contrib/sb-executable/sb-executablefasl
-rw-r--r--  1 jsnell  50061 Nov 24 22:40 contrib/sb-introspect/sb-introspectfasl
-rw-r--r--  1 jsnell 271616 Nov 24 22:40 contrib/sb-sprof/sb-sproffasl
% src/runtime/sbcl --core output/sbclcore --userinit /dev/null --sysinit /dev/null
[ skip about 5000 lines of debug output]
* (lisp-implementation-version)
"081514x86-64-again-branch12"
* most-positive-fixnum
1152921504606846975
* (1+ most-positive-fixnum)
1152921504606846976
* (load "contrib/asdf/asdffasl")
[]
T
* (quit)