[coreboot] New patch to review for coreboot: 2863f92 console: Make use of CONFIG_USE_OPTION_TABLE

[Christian Gmeiner (christian.gmeiner@gmail.com)]

Christian Gmeiner (christian.gmeiner at gmail.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/2381

-gerrit

commit 2863f92c923e49592c72432777b30b27e200ac34
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>
---
 src/console/console.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/console/console.c b/src/console/console.c
index 34a26ec..afbba9d 100644
--- a/src/console/console.c
+++ b/src/console/console.c
@@ -30,7 +30,7 @@
  * storage can be used. This will benefit machines without CMOS as well as those
  * without a battery-backed CMOS (e.g. some laptops).
  */
-#if CONFIG_HAVE_CMOS_DEFAULT
+#if CONFIG_USE_OPTION_TABLE
 #include <pc80/mc146818rtc.h>
 #else
 static inline int get_option(void *dest, const char *name) { return -1; }