9-stable from i386 to amd64

[Randy Bush]

is there a recipe for moving from i386 to amd64?

on a very remote system, i made the migration from 7.4 to 8.2 to 9.0,
all 32-bit. it was done with repeated

    make buildworld
    make kernel.new [0]
    nextboot -k kernel.new
    reboot
    make installworld
    etc

    [0] - well, there were some mv(1)s in there :)

so after it was happy with 9.0 i386, i went to move to amd64 with

    make buildworld TARGET=amd64
    make kernel TARGET=amd64 DESTDIR=kernel.new [0]
    nextboot -k kernel.new
    reboot

it did not come back from the reboot, and required a manual reset.  i
have no console access to the machine, not my choice.

clue bat please.

randy