[coreboot-gerrit] Patch set updated for coreboot: b479d28 soutbridge/*/bootblock: Use pci_dev_t over device_t typedef