[coreboot-gerrit] New patch to review for coreboot: bad39f9 inteltool: clean up file descriptors a bit