[coreboot-gerrit] Patch merged into coreboot/master: coreinfo: reboot when finished

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8190078ad58114ddf7969f19e12d7bd27c573d3e
Author: Maxime de Roucy <maxime.deroucy at gmail.com>
Date:   Sun Sep 27 15:53:40 2015 +0200

    coreinfo: reboot when finished
    
    Behave as nvramcui.
    Avoid a "General Protection Fault Exception" when launched by SeaBIOS on
    pcengines APU1.
    
    Change-Id: I00b1f859f76e693e8d49a38c1e02f4f49add85b7
    Signed-off-by: Maxime de Roucy <maxime.deroucy at gmail.com>
    Reviewed-on: http://review.coreboot.org/11731
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit