kernel_halt(9) on Linux

The text 056ae7baa3cd, as Debian 4.0 (Etch) shipped it.

halt the system

kernel_halt(9) on Linux now