[coreboot-gerrit] New patch to review for coreboot: c8c47a3 northbridge/intel/sandybridge/gma.c: Tidy up pci_device_ids