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

the following patch was just integrated into master:
commit 7ce1a75602c30c0680992265e52c08c292af2d7f
Author: Kyösti Mälkki 
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 
    Reviewed-on: https://review.coreboot.org/17793
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

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

-gerrit