PS_boot(3) on Linux

The text de7ec2bd16db, as Debian 3.1 (Sarge) shipped it.

Initialize library

PS_boot(3) on Linux now