[coreboot-gerrit] New patch to review for coreboot: 8095dbf Fix romstage dev type, 'device_t' -> 'pci_devfn_t' in get_sbdn()