[coreboot-gerrit] Patch set updated for coreboot: 2e7ff2b util/sconfig/main.c: Free memory pointed to by `devtree`