hwloc_cuda_get_device_osdev(3) on Linux

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

hwloc_cuda_get_device_osdev(3) on Linux now