[coreboot-gerrit] Patch set updated for coreboot: 84ce0eb inteltool: Allow to override Makefile variables