dormhr.f(3) on Linux

The text b5a217f59e1f, as Debian 9 (Stretch) shipped it.

dormhr.f(3) on Linux now