[coreboot-gerrit] Change in coreboot[master]: src: Use {pci, pnp}_devfn_t instead of device_t

[Elyes HAOUAS (Code Review)]

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

Change subject: src: Use {pci,pnp}_devfn_t instead of device_t
......................................................................

Abandoned