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