[coreboot] #126: inteltool: error: PCI_FILL_IDENT undeclared