[coreboot-gerrit] Patch set updated for coreboot: 2cfc8c8 device/pci_device.c: Sanitize headers