[coreboot-gerrit] Change in coreboot[master]: src/include/device/pci_ids.h: make DENVERTON ids similar to other SoCs