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

[Elyes HAOUAS (Code Review)]

Elyes HAOUAS has abandoned this change. ( https://review.coreboot.org/27085 )

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

Abandoned