kernel_to_ipc64_perm(9) on Linux

The text d07ffc7b6608, as Debian 9 (Stretch) shipped it. The page shows this text now.

convert kernel ipc permissions to user

kernel_to_ipc64_perm(9) on Linux now