OpenCL: Drop some debug output now that the NVML problem is
fixed. Also move the ADL output to opencl_list_devices() so
it's not printed when emitting a status line (although this
is currently defined out by default).
CUDA: Ensure mapping between CUDA id and NVML id, using PCI id.