[coreboot-gerrit] Change in coreboot[master]: src: Standardize PCI_DEV(0, 0x1f, 0) name