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

the following patch was just integrated into master:
commit 8b5b764af6562235823f03c04e8184f048ab6320
Author: Christian Gmeiner 
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 
    Reviewed-on: http://review.coreboot.org/2381
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

Reviewed-By: Patrick Georgi  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