also, the steps you used to install and boot the new kernel.
#!/bin/rc mk install 9fs 9fat cp /sys/src/9/pc64/9pc64 /n/9fat/9pc64 mk clean