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