Re: [coreboot] [PATCH] improve debug output for not matching Vendor/Device ID in pci_rom.c