[PATCH AUTOSEL 6.12 12/12] PCI: switchtec: Add Microchip PCI100X device IDs