[coreboot-gerrit] Patch set updated for coreboot: 34d441f nvramcui: reboot at the end as TODO suggests