Fix devices with a bus larger than 9 (GH-573)

The `-isolateDevice` option accepts a PCI ID in decimal format, not hex.