[coreboot] pci_doc.txt