PCI 0x1077:0x1280 pci

Reported by 2 machines.