[PATCH 6.12 073/230] PCI: switchtec: Add Microchip PCI100X device IDs