[coreboot-gerrit] Patch merged into coreboot/master: 3f9a62e Add pci_devfn_t and use with __SIMPLE_DEVICE__