[coreboot-gerrit] Patch merged into coreboot/master: pc80: Move set_boot_successful()

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 7ce1a75602c30c0680992265e52c08c292af2d7f
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Sun Dec 11 12:56:37 2016 +0200

    pc80: Move set_boot_successful()
    
    Don't implement arch or driver -specific code under lib/,
    
    Change-Id: If75980ec5efc622582e2b5e124ad0e7ee3fa39a3
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: https://review.coreboot.org/17793
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See https://review.coreboot.org/17793 for details.

-gerrit