[coreboot-gerrit] New patch to review for coreboot: 52ef0f3 make reset_system() public