[coreboot-gerrit] Change in coreboot[master]: soc/pci_devs.h: Use consistent naming in soc/pci_devs.h