[coreboot-gerrit] Patch set updated for coreboot: 04cf77b Use 'pci_devfn_t' over 'device_t' mixed type in 'reset.c'