Re: [PATCH 01/13] PCI: Sort Intel PCI IDs by number