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

[Felix Singer (Code Review)]

Felix Singer has submitted this change. ( https://review.coreboot.org/c/coreboot/+/84186?usp=email )

Change subject: util/inteltool: Fix format for PCI vendor/device IDs
......................................................................

util/inteltool: Fix format for PCI vendor/device IDs

PCI vendor/device IDs are 16 bit.

Signed-off-by: Alexander Couzens 
Change-Id: I87804a63f04b7461d348a245531542776575eb7a
Reviewed-on: https://review.coreboot.org/c/coreboot/+/84186
Reviewed-by: Matt DeVillier 
Reviewed-by: Felix Singer 
Tested-by: build bot (Jenkins) 
Reviewed-by: Angel Pons 
---
M util/inteltool/memory.c
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Matt DeVillier: Looks good to me, approved
  Angel Pons: Looks good to me, approved
  build bot (Jenkins): Verified
  Felix Singer: Looks good to me, approved

diff --git a/util/inteltool/memory.c b/util/inteltool/memory.c
index 3e7d3d7..ae25494 100644
--- a/util/inteltool/memory.c
+++ b/util/inteltool/memory.c
@@ -242,7 +242,7 @@
    	break;
    default:
    	printf("Error: Dumping MCHBAR on this northbridge is not (yet) supported.\n");
-		printf("Error: Unknown PCI id: %08x/%08x\n", nb->vendor_id, nb->device_id);
+		printf("Error: Unknown PCI id: %04x/%04x\n", nb->vendor_id, nb->device_id);
    	return 1;
    }