dgerfs(3) on Linux

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

dgerfs(3) on Linux now