[coreboot-gerrit] Change in coreboot[master]: sb/intel/{fsp_bd82x6x, lynxpoint}: Use pci_devfn_t instead