hwloc_cuda_get_device_osdev_by_index(3) on Linux

The text ada4b9facf96, as Debian 12 (Bookworm) shipped it.

Interoperability with the CUDA Driver API

hwloc_cuda_get_device_osdev_by_index(3) on Linux now