[coreboot-gerrit] Patch set updated for coreboot: d8b507d NOTFORMERGE: fix reset.c