[coreboot-gerrit] Change in ...coreboot[master]: sb/amd/{cimx,sb{7,8}00}: Use PCI_DEVFN()