[coreboot-gerrit] Patch set updated for coreboot: 8a055f2 Fix romstage dev type, 'device_t' -> 'pci_devfn_t' in get_sbdn()