[coreboot] Patch set updated for coreboot: b55f300 inteltool: improve the libpci test in the Makefile