hwloc_cuda_get_device_osdev_by_index(3) on Linux

The text 1fbaa22b337f, as Debian 11 (Bullseye) shipped it.

Interoperability with the CUDA Driver API

hwloc_cuda_get_device_osdev_by_index(3) on Linux now