[coreboot-gerrit] Patch set updated for coreboot: 615ea4c Workaround for allocator bug.