The text 9bd4e7f0b796, as Debian 5.0 (Lenny) shipped it.
reboot the system
kernel_restart(9) on Linux now
