[coreboot-gerrit] Patch merged into coreboot/master: 8b5b764 console: Make use of CONFIG_USE_OPTION_TABLE

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 8b5b764af6562235823f03c04e8184f048ab6320
Author: Christian Gmeiner <christian.gmeiner at gmail.com>
Date:   Wed Feb 13 11:07:38 2013 +0100

    console: Make use of CONFIG_USE_OPTION_TABLE
    
    It makes much more sense to use CONFIG_USE_OPTION_TABLE instead
    of CONFIG_HAVE_CMOS_DEFAULT. As we want to read the used
    debug_level from our CMOS. This change makes it possible to
    change log_debug via nvramtool and make use of the new
    value after a reboot/poweroff.
    
    CONFIG_HAVE_CMOS_DEFAULT does have an other meaning
    
    Change-Id: I438dd01a2b4171dba2b73f2001511c71f4317725
    Signed-off-by: Christian Gmeiner <christian.gmeiner at gmail.com>
    Reviewed-on: http://review.coreboot.org/2381
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi <patrick at georgi-clan.de>

Reviewed-By: Patrick Georgi <patrick at georgi-clan.de> at Sat Mar 23 06:37:49 2013, giving +2
Build-Tested: build bot (Jenkins) at Sat Mar 23 00:05:59 2013, giving +1
See http://review.coreboot.org/2381 for details.

-gerrit