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