[PATCH 6.13 088/274] PCI: switchtec: Add Microchip PCI100X device IDs