sggevx(3) on Linux

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

sggevx(3) on Linux now