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