hpiwdt(1) on Linux

The text 24dd623eaa70, as Debian 7 (Wheezy) shipped it.

This sample openhpi application reads and enables the watchdog timer.

hpiwdt(1) on Linux now