vo_gpu: d3d11_helpers: use better formatting for PCI IDs

The old format was definitely misleading, since it used an 0x prefix and
formatted the device IDs with %d.