ipcget(9) on Linux

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

Common sys_*get code

ipcget(9) on Linux now