[coreboot-gerrit] Patch merged into coreboot/master: 512bfbc Nyans: replace cpu_reset with hard_reset