dgghrd(3) on Linux

The text b128d53d142d, as Debian 8 (Jessie) shipped it.

dgghrd(3) on Linux now