[coreboot-gerrit] Patch set updated for coreboot: cf2a151 make reset_system() public