973d025839
explicitly advise the users to reset the machine in case they have done bogus things (to prevent `dset' from merging the changes into /kernel), and it's also useful for machines with serial consoles that are physically in another place.