hwloc_ibv_get_device_cpuset(3) on Linux

The text e9d883bb337f, as Debian 8 (Jessie) shipped it.

hwloc_ibv_get_device_cpuset(3) on Linux now