[coreboot-gerrit] Change in coreboot[master]: src: Use pci_devfn_t instead of device_t

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/27085 )

Change subject: src: Use pci_devfn_t instead of device_t
......................................................................

Patch Set 1: Verified+1

Build Successful

https://qa.coreboot.org/job/coreboot-checkpatch/28942/ : SUCCESS

https://qa.coreboot.org/job/coreboot-gerrit/74839/ : SUCCESS