To restore the kernel source to the previous, unpatched, version, which of the following commands could be used?