Re: [coreboot] pci_doc.txt