[coreboot] Patch merged into coreboot/master: b55f300 inteltool: improve the libpci test in the Makefile