[PATCH AUTOSEL 6.13 15/15] PCI: switchtec: Add Microchip PCI100X device IDs