[coreboot] Patch set updated for coreboot: 439fbb4 inteltool: fix Makefile