> > Thinking further, I guess a more optimal route might even be to put the > drive in the 712 and install onto it on there, put the kernel on the drive > then, then just transplant it back into the 715. > Yeah, mount it, debootstrap, chroot, and install a new kernel. c.