[coreboot-gerrit] Patch merged into coreboot/master: 5cc5842 vboot: use out_flags to indicate dev mode

the following patch was just integrated into master:
commit 5cc5842fbb11efd5baaca30febe925e024801499
Author: Aaron Durbin 
Date:   Tue Jun 4 08:57:54 2013 -0500

vboot: use out_flags to indicate dev mode

In order to make the proper decision on loading the
    option rom or not the developer mode setting needs to be
    known. Under early firmware selection it is possible to know
    the state of developer mode by a flag in out flags. Use this
    flag when early firmware selection is being employed to determine
    if developer mode is enabled or not.

Change-Id: I9c226d368e92ddf8f14ce4dcde00da144de2a5f3
    Signed-off-by: Aaron Durbin 
    Reviewed-on: https://gerrit.chromium.org/gerrit/57380
    Reviewed-by: Duncan Laurie

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

-gerrit