Modify extra spec options to support non-zero IB PCI device numbers