[coreboot-gerrit] [XS] Change in coreboot[main]: util/inteltool: Fix format for PCI vendor/device IDs