[coreboot-gerrit] Patch set updated for coreboot: 73a2008 inteltool: clean up file descriptors a bit