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