[coreboot-gerrit] Change in ...coreboot[master]: amdfam10 boards: Use PCI_DEVFN()