[coreboot-gerrit] Patch merged into coreboot/master: c728288 nvramcui: reboot at the end as TODO suggests

the following patch was just integrated into master:
commit c728288a1f5bd8307450378e2062aa444fa0129f
Author: Vladimir Serbinenko 
Date:   Wed Jan 15 22:09:25 2014 +0100

nvramcui: reboot at the end as TODO suggests

Use cf9 to reboot at the end.

Change-Id: I642a5ec89c864fb03bbcdf6e4fcbb1e28f3fc34c
    Signed-off-by: Vladimir Serbinenko 
    Reviewed-on: http://review.coreboot.org/4693
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/4693 for details.

-gerrit