PCI 0x133d:0x0001 pci

Reported by 2 machines.