CUDA device list: Add PCI id to output, and replace a deprecated parameter
with a new, getting more detail.