[coreboot-gerrit] [XS] Change in coreboot[main]: util/inteltool: pci ids are 16 bit