OpenCL: It turns out PCI id's are 8-bit bus, 5-bit device
and 3-bit function. I presume this is the correct way to
parse what we get from the query.