The text b8ca76b56399, as Debian 9 (Stretch) shipped it.
Interoperability with OpenCL
hwloc_opencl_get_device_osdev_by_index(3) on Linux now
